Bookmarklets are tiny JavaScript snippets that you can put in your browser's bookmark toolbar. These are the ones I use.
