HedgeDoc is a real-time collaborative markdown editor for creating and sharing notes, inspired by...