Update and rename other_doc.md to other_doc.html