Start exporting `docs.json` again
Minor fixes in documentation