As explained in the main HyperDoc, HyperDoc is implemented as two ASDF systems in order to minimize the dependencies for code using HyperDoc. This second system, HyperDoc Explorer, contains the code required to explore HyperDocs in the browser.