I currently filter some message from my inbox with these steps:
select inbox
pick messages
set \Deleted tag
and then repeat the process after selecting Trash.
Is there a more direct way of disposing of these messages? Or is it just the feature of the Mail server that deleting a message puts it in the trash, and deleting from the trash permantently disposes of it?