hackmd.io collaborative markdown editor real-time document collaboration online documentation tool markdown editing platform knowledge sharing remote team collaboration note-taking for developers code documentation team productivity tools markdown to html conversion documentation management cloud-based markdown editor technical writing platform hackmd markdown