Every page here is rendered from the audit records in atlas.json. The underlying Coq sources and JSON records are in the repository and need no browser at all.
Formal Atlas