I have a string containing a single \ character. I'm not quite sure
what this string should look like once json encoded. My javascript
encoder (a popular one) is giving me `\\\\` ? Shouldn't the correct
encoding be `\\`?

--
Matt