GreaseMonkeyUserScripts.
Google Scripts.
I just deleted over 5,000 GMail messages using Gmail Smart-Delete Button
'Smart-Delete' button enables/disables itself, depending on whether or not any items have been checked. It works with all applicable Gmail pages, labels & mail items.
