They still did not fix the delete keyboard key issue with Gmail: Pressing delete sends directly to the trash and skips the archive. There's no key shortcut for archive.
Which is odd, because iOS 7 has Gmail not offering "delete" but "archive" for the inbox.