fixes #8331 - provide some tools for filtering mail