On Mon, 17 Oct 2016 16:12:17 +0000, I wrote: > the Spam button has mysteriously turned into a no-op! Equally mysteriously, after a reboot the Spam button is once again responsive, so will persevere for a few more days, hoping to see a solo effort by Bogofilter... -- /\/\aurice