HedgeDoc-Developer (mostly frontend)

https://github.com/ErikMichelson