py-htmldocs is a stub port
