I have "origin of spam" set to "auto delete".
I received a message that both matched my filter and was from a source of spam.
My expectation is this message would stay in the inbox.
But instead the message was put into the recycle bin

Is this a bug? If not, can someone please explain the meaning of "never mark for delete"?