I am using the add-on you mentioned. https://addons.mozilla.org/en-us/thunderbird/addon/sieve/ I vaguely recall having some trouble setting it up initally, but it works fine now.