Currently, docs are generated using an obscene hack using the C preprocessor.
A better way of keeping both ASCII and HTML docs (and possibly other formats)
around is needed, since maintaining two sets isn't practical.

I've looked around for a decent HTML->ASCII converter, but haven't found one.