Mark Wielaard <mjw(a)gnu.org> skribis:
On Wed, Apr 14, 2021 at 12:24:23AM +0200, Mark Wielaard wrote:
> 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 links
> to the website.
> Did I mis something?
> This docuwiki plugin seems helpful for that:
I installed the goto plugin and made the above three wiki pages
Nice! It doesn’t seem to work for me though: it says “You will be
redirected” but that doesn’t actually happen.