On Sun 11 Dec 2022 at 04:39:02 (+0100), hw wrote: > > How can Debian be so old? Maturity takes a little ageing. Cheers, David.