After further debugging, I discovered that the contents of the FlexRSS plugin config file (flexrss.dat) were corrupt - some of the filters had become duplicated.
By removing these duplicated entries, which had the correct filters but the wrong feeds, I find that all problems are resolved. -- Moshe Yudkowsky * mo...@pobox.com * www.pobox.com/~moshe -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org