Mirror of the HedgeDoc upstream repository. Might becomes handy some day. https://github.com/hedgedoc/hedgedoc