html renamed to html-docs