HedgeDoc hedgedoc.org Collaborative markdown editor. Text editing can be done simultaneously by many people.