What is a bookmarklet? Basically it’s a javascripted bookmark that, when you click on it, performs an action. Some might validate the page, some might highlight all the passive verbs in the document, there are loads of them.
This one searches the current site using Google. Install it by bookmarking the following link: