Simplify JSON unicode serialization It’s just an array of codepoints; no need to turn them into objects