JSON5 ↔ JSON

Convert between JSON5 (with comments, trailing commas, hex literals) and strict JSON.