@jk
Avoid copying a large one-of transposition of mostly static JS to JSON by writing a whole JS parser, which automatically exports JSON.

@seri