small question : how does Trojita handle deletion of gmail mails ? Simply removing the inbox label so the mail is still visible in the All Mail folder (modest behaviour) ?

Or moving the mail to the trash folder (and so really deleting it) ?

I want the 2nd solution. Any chance for that ?
Thanks anyway for this very nice version !