HedgeDoc - Collaborative markdown notes