Simplify JSON unicode serialization It’s just an array of codepoints; no need to turn them into objects
2020-09-18T09:49:19