documentation: clean out old HTML docs