HedgeDoc

Realtime collaborative markdown notes on all platforms.