Deleted doc/html.md