Am Wed, Apr 14, 2021 at 12:24:23AM +0200 schrieb Mark Wielaard:
Thanks, that looks good and more up to date than the wiki. As soon
the website is live we should go through the wiki pages and add links
to the website.
or maybe we could drop wiki pages that now have an equivalent on the