Mi idea era hacerlo así (yo también usaba esa extensión) pero no tengo ni idea de JavaScript así que de momento lo que he conseguido hacer es esto... Puede que me anime a aprender JavaScript un día de estos, si lo hago lo primero que intentaré añadir es una opción para cambiar el idioma y luego lo del doble click.