Re: /dev/nul recipe (tradinghouse)

Or if you want to discard messages that have that anywhere in the header,
but NOT in the subject line (so you can exchange messages ABOUT them but
not FROM them):

:0
* ? formail -ISubject: | grep -w -i Majordomo(_at_)tradinghouse(_dot_)com
/dev/null