[tech notebook] Getting started with HedgeDoc https://tech.interfluidity.com/2023/08/23/getting-started-with-hedgedoc/index.html

(thanks @hedgedoc!)

#HedgeDoc