Fix: Delete, not archive, Gmail

What the. More people need to know about this.
Gmail has long had this annoying e-mail deletion behaviour where e-mails get archived instead of deleted from mobile devices. To my knowledge, it's only "fixed" for iOS, where your mails get deleted only if you set up your e-mail as Gmail and not Exchange when you're adding a new account. (That means, if you set up your account as Exchange, as Google Sync recommends, you end up archiving your e-mails.)
I've even ended up having to set a separate "Bin" folder on my Windows Phone to move my mails there and I manually clear that folder every so often. (You can't just move messages to the Trash folder, because it inexplicably ends up archived, as well.)
But there's a fix here, right under our noses in the Google Sync help. I swear I've obsessively gone through the site and Google forums many times for the solution. When was this released?
Nonetheless. HURRAY!
1. Go to Google Sync's settings on your mobile device, not desktop. m.google.com/sync
2. Go to settings for your device (make sure it's the right one based on the date last synced) and check "enable delete email as trash".
3. Save.
