I have Gmail set up through Exchange and when I swipe messages in the Inbox they give the option to Delete. I know that in at least one of the 4.0 betas it offered to Archive. Do I have to use the Gmail setup to get this feature instead of using Exchange? I use Exchange so I can get push mail.