This is the new and official place where we put content that previously only lived in a HedgeDoc document.