Rename doc.html to doc.md