Resolve "Add extra options to the configuration of Hedgedocs"

Merged nono requested to merge 11-add-extra-options-to-the-configuration-of-hedgedocs into master

Closes #11 (closed)

Merge request reports