I missed that too, but it turns out I need ot veery rarely. For when I do, I have a userscript that injects the GTranslate widget into the page. It's basically the same, albeit with uglier button. I don't think it's available as an extension since it by definition injects external scripts into a page, but it's available as a userscript for *-Monkey.
franga2000|5 years ago