Testing the doctool
Both the JSON and HTML output of the doctool are currently untested while tests could have prevented these recent issues:
As a start, a test could include JSON.parse and possibly some lightweight HTML validation triggered by make test-doc
/ vcbuild test-doc
.