yeah, email filters are easy, but it requires *everyone* who gets annoyed to set them up.
Glad it's fixed in the upstream. I'll keep pushing on keeping these two synced.