Re: [GHC] #13791: Document allowed syntax in WARNING and DEPRECATED pragmas