pre-cleanup related to #6805#8254

KevinRansom merged 2 commits intodotnet:masterdotnet/fsharp:masterfrom

dsyme:pre-extdsyme/fsharp:pre-extCopy head branch name to clipboard