Hi Ralf, > Could you please provide a pointer to the start of this thread? https://lists.archlinux.org/pipermail/arch-dev-public/2020-January/029795.html As Eli pointed out, it started on another list to which I can subscribe, but not post. On attempting to post, the auto-reply suggests using arch-general if it's thought important enough, so I did. Another time, I'll make clear it's a carry-over from a different list to avoid confusion for those not reading both. -- Cheers, Ralph.
