[Git][ghc/ghc][wip/27627] 33 commits: Major patch to re-engineer known-key names