On 2024-04-24, David Wright <deblis@lionunicorn.co.uk> wrote: > > My experience was similar to Bret's, only I'd long got used to not > just taking Debian's proferred version, but checking whether there > was a newer version somewhere around. It was in February 2023 when I had to use it once for a friend of my wife. I downloaded the github version (as it keeps abreast of the frequent breakages, and I lack the moral rigor of our numerous purists).