English electronic documentation: translation to other languages