pydoc html file. close #24