Wolfgang Jeltsch pushed new branch wip/jeltsch/known-key-removals/lists at Glasgow Haskell Compiler / GHC