Just learned this today: in the Android gmail app you can hide the archive feature so all those buttons become delete #Protip