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