I’m seeing a delete option now in the actions menu in Gmail. Is this new? It always bugged me that the interface discouraged me from deleting anything. Interesting that they decided to go back to the model all other email clients use.