We're considering options, but actually optimizing the interface for translators seems to be less controversial (some translators HATE machine pre-translation)

We're considering options, but actually optimizing the interface for translators seems to be less controversial (some translators HATE machine pre-translation) and potentially better for performance and quality. But not ruling it out.