Oh, sí, parece que los chicos de Gmail se han dado cuenta que hace falta tener un botoncito accesible para borrar los correos. Antes hacía falta hacerlo a través del menú, pero ya lo han incluido en la vista general. Más vale tarde que nunca, como se suele decir.
Antes también había una extensión para Greasemonkey que hacía lo mismo pero ya no hace falta ^_^