Deploying HedgeDoc to Dokku

💡 This applies to HedgeDoc version 1.x, which is the stable version as of December 2023. HedgeDoc is an open-source, web-based, self-hosted, collaborative markdown editor. I stumbled upon it while looking for a self-hosted markdown editor. I parti...