On Mon, Mar 30, 2020 at 07:11:01PM +0200, Jürgen Spitzmüller wrote: > I think that's all overkill. If we push my patch, Daniel can customize > his preferred behavior and we others can all keep ours. I tend to agree with this. Pavel