On Tue, Aug 29, 2023 at 02:16:01PM +0200, Daniel wrote: > Or would that be too annoying? Quite a lot. Pavel