From [Wikipedia entry on bookmarklets](http://en.wikipedia.org/wiki/Bookmarklet): > A bookmarklet is a small JavaScript program that can be stored as a URL within a bookmark in most popular web browsers, or within hyperlinks on a web page. Because Microsoft Internet Explorer uses the term favorites instead of bookmarks, bookmarklets are also less commonly called favelets. > Bookmarklets can be sav