No option or option-set at services.hedgedoc.settings.