Andreas Enge <andreas(a)enge.fr> writes:
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 as
> the website is live we should go through the wiki pages and add
> to the website.
or maybe we could drop wiki pages that now have an equivalent on
That is my preference too, as I’m worried about having them
diverge because someone fails to notice that they have been
obsoleted. What is the rationale behind keeping the wiki pages?
Is it for archival purposes?