Gmail on Android 4.2 brings a boatload of improvements over the version I'm used to from 2.2. Its improved interface for dealing with (received) attachments is very welcome.
However, I cannot find a way to delete an attachment marked as "saved" from the Download folder without using a file manager. Such a manual deletion also leaves the "Saved" indicator in Gmail, which doesn't seem to notice that the file no longer exists on the phone.
Is there a "proper" way to manually delete attachments saved in Gmail from phone storage?