translate browser plugin (cf. issue 1627)