Bookmarklet é o nome dado a cada uma de um conjunto de pequenas aplicações que expandem a capacidade de um navegador web. Uma bookmarklet é um marcador (bookmark) que pode ser simplesmente arrastada para a barra de marcadores de um navegador (como o Firefox) e usada a partir daí.
Esta bookmarklet permite que, quando se vê uma página em inglês, carregando no marcador, ver a sua tradução em português:
Adaptado de exemplos em: http://mozilla.gunnars.net/bookmarklets/trans-en.html

mt boa dica!