Rename other_doc.html to other_doc.md