@WillyW
I was tearing my hair out trying to figure out why "sometimes Thunderbird deletes from the server as I expect, and sometimes it leaves deleted items there."
I never figured we need a Get Mail command in order to complete the delete-from-server operation, because it's also set to empty trash on exit. But that little tidbit solved my problem, so I just wanted to thank you.
WWR