[Git][ghc/ghc][master] Remove outdated comment