I can&#x27;t help but wonder if it isn&#x27;t simpler just to use gzipped JSON. I&#x27;d be interested to see a size comparison of the two. It seems like they&#x27;re going to an awful lot of work to hand-roll a suboptimal text compression scheme here.