Hi Bruno, Your two date patches look good. I'm replying directly since I can only see the messages in the archive, but they've not been delivered to me as of yet.
(Generally GNU infra has been problematic over the last few months. Apparently this is due to ongoing DDOS as per https://hostux.social/@fsfstatus I asked for details on @fsfsys and the said the DDOS is still ongoing, and due to a mixture of malicious traffic, and careless scraping.) I'll apply both in a few hours. thanks, Padraig
