On Wed, 22 Dec 2021, Martin Liška wrote: > I replaced and verified http:// links for various domains.
Thank you, and apologies for not acking this right away back then. (Did you ping, and I missed that? Not that you should have to, just missing a ping would be even worse.) In any case this is a good reminder for me to do some general link maintenance again, which I'll look into once your patch is in. Gerald
