On Sat, 13 Jun 2020 at 14:17, Carl Winbäck <c...@tunnel53.net> wrote: >> Replying to a private mail here on the list in case it is of interest >> to someone else.[1]
Sorry for the botched quote level. I should know better than to use Gmail’s web interface for posting to mailing lists :-p