Gmail adds a delete button

I do remember when you needed a greasemonkey script with Gmail to have a delete button on the main screen (without selecting the drop down and clicking delete).

Now, it is included in the main screen. Much better user experience...