>
> That should eliminate any need for doing fancy stuff with those messages
> in the CI configuration. Any new issues that crop up in development later
> ought to produce a smaller volume of messages that we want to know about.
>
So we do not need a custom log filter now, right ?