older versions of json_encode() escaped backslashes. We want backslashes as-is, so we're unescpaing them