* Got it to work. Didn't really do anything. Actually, I can't remember if it was broken on my desktop or laptop. Here's a user script to add a delete button to gmail. Neat stuff.