Re: [GHC] #2507: quotation characters in error messages