Re: [GHC] #14082: -ddump-json does not escape quotes properly (was: -ddump-json does not escape output properly)