On Mon, Aug 16, 2021 at 10:28:36AM +0200, Hiltjo Posthuma wrote: > Thanks for the patch. I'd rather not add another option for it. > > I think if the default is not changed it still makes sense. Either way the > option works as documented.
Fair enough. I suppose it should be better fit as a user patch in the wiki then? - NRK
