How to back up HedgeDoc

TODO: This pages is still missing some content. See this issue for more information and if you want to contribute: https://github.com/hedgedoc/hedgedoc/issues/4830