Inzwischen habe ich eine Lösung gefunden, eigentlich eher ein Workaround, aber durchaus praktikabel:
Ich habe einen zusätzlichen Ordner "OK" angelegt. (Als Unterordner des Posteingangs, er könnte aber auch anders heissen und an anderer Stelle liegen,)
Dann habe ich bei dem Filter, der Mails von der Filterung ausnehmen soll, als Aktion eingetragen:
"Verschieben der Nachricht in ..." den erwähnten neuen Ordner.