[ADMINISTRIVIA] Block html mail here?

[dewar@gnat.com]

The other thing would be to have a filter that just removes the HTML, 99%
of the time it is zero-information redundant stuff.