On Mon, 2023-05-15 at 19:01 +0200, Jürgen Spitzmüller wrote: > I agree. And I think also the second dialog should be hideable. This > is information only useful to newbies, and I can see it getting > annoying. +1 -- José Abílio