On Mon, Oct 31, 2022 at 12:58:20PM +0100, Paul B Mahol wrote: [...] > I'm against removing useful features. Did you just rudely dismissed all the arguments made, or is this a joke? Regards, -- Clément B.