Our shipment of delete buttons finally came in! We're busy affixing them to the Gmail interface as we speak.