Editng the HTML file manually doesn't seem to work well for development. Does anyone have the raw data extracted from the HTML manual?
I know there's a `newlispdoc` utility that creates documentation based on code comments. I'm not sure if that's used to build the full manual though.