Re: [GHC] #11583: Make warning names more consistent