English reference manual: translation to other languages