Thanks bogofilter team! Happy Birthday to all who had a part in it's creation and development. Mike B.