Gmail notifications on Android now sport quick Archive/Reply buttons.. neat, but wish there was an option to change it to Mark-as-read/Reply