Como o javascript nos bookmarklets do firefox 13 não está mais funcionando, existe outro método para implementar um botão que chama o org-protocol e fornece a url e o título da página da Web real.
Tags firefox javascript bookmarklet