Thank you Ernest, that’s great. I was quite confident there would be a setting, but have overlooked it. So thanks for the hint/screenshot!!
Regarding the timeout – like I said this is probably not so important. There are already so many things to configure that it is difficult to decide what should be in the gui and what not … maybe a filter would do. But of course this is up to you 🙂
Regards
Ulrich