We now render the Markdown source with Hugo (plus the Docsy theme)
and deploy it at rrp.ethz.ch. Before, it was rendered by Pandoc and
deployed via GitLab Pages.