addon for firefox to facilitate the use of utf characters