English top-level: translation to other languages