sorry, I had to do it. Gmail really needs to fix there mute feature.  I
suppose I could have made a filter to kill the thread, or even
unsubscribed.

-j