Hi Paul, On Fri, Jul 19, 2024 at 10:47:11AM GMT, Paul Eggert wrote: > Thanks, I installed the attached, which should fix the problems you > mentioned in a less-invasive way.
Thanks! I'll re-check again later to have a fresh look at the code, but LGTM, I think. Have a lovely night! Alex -- <https://www.alejandro-colomar.es/>
signature.asc
Description: PGP signature
