Convert HTML files in /docs to markdown