On Wed, Jan 27, 2021 at 22:37, Petr Štetiar <ynezz at true.cz> wrote: > Can't this be a default which could be overriden when needed? Sure, see patch below. As it's a new feature I wanted it optionally rather than treewide for the beginning. I'll send a patch.