ArXiv says submissions must be in English: are AI translators up for the job?