add harmy's BetterTranslate extension, as InstantTranslate