Maybe this has been addressed, but I don't see it. In my mailbox, the "delete" option has vanished, and only "archive" exists to clean it up. This is recent, no?