Re: [GHC] #12822: Cleanup GHC verbosity flags