HedgeDoc - Collaborative markdown notes·hack.allmende.io·today at 4:12 AMHedgeDoc - Collaborative markdown notes