Omit spaces when writing JSON
Omit spaces when writing JSON

This saves a few bytes in what isn't human-readable anyway.
Use a pretty printer if you want to extract human-readable text from it.

vyzo/gerbil,vyzo/gerbil,vyzo/gerbil