Fix wrong package name
Add html_docco HTML format