I spotted this elsewhere and thought that maybe someone here might be able to contribute. https://lists.gnu.org/archive/html/config-patches/2024-05/msg00022.html -- Michael Kjörling 🔗 https://michael.kjorling.se “Remember when, on the Internet, nobody cared that you were a dog?”