Am 01.03.2024 schrieb "Gareth Evans" <donots...@fastmail.fm>:
> I am subscribed to mailop (though don't read it as often as I > should!) but from a mail search there doesn't seem to have been > anything there about this recently. That topic has been discussed there, you can find those discussions in the archive (you need to be subscribed to read it).