There's more than one translation for words with synonyms (although people keep coming up with more synonyms). And I use a custom js-based keymap that works on

There's more than one translation for words with synonyms (although people keep coming up with more synonyms). And I use a custom js-based keymap that works on all os'es, and teach students how to enter accents.