Hi, On Fri, 10 Jul 2020, at 19:13, Moritz Mühlenhoff wrote: > Let's remove it for the upcoming 10.5 update, then? Sure. -- Cheers, Andrej