Source views: Source JSON(ish) on GitHub (VSCode)   Doc views: Document (&k=1.5.sec): Visual Print Technical: OpenParameters Xray
In order to make the texts generally available, I figured that it would make sense to have an extension written for Mediawiki. That would permit documents to be rendered on the site. This system, written in 2009 by Andrew Fitzpatrick, still works and is available on Github. The basic choices made then (key/value pairs, delimited by line feeds ... ) have been durable. Texts from the Mediawiki version can be copied into the current parser with only very modest modifications. A Mediawiki instance can be a collaboration environment, creating resources for a decentralized web, including the current implementation.