Re: [GHC] #14082: -ddump-json does not escape quotes properly