@simon A mixture of both, and translators overall hate it, is what I've heard from translator friends. Important to note that machine translation for anything but short snippets still is not actually very useful except in the heads of managers and AI hypists.