Web Development Bookmarklets - various bookmarklets that are very helpful for web development.