The translations of the translator who uses Opera (is it Google?) are unacceptable. Why not implant better translators, such as reverso.net or deepl.com? An open interface to freely choose the translation service would be ideal! Google is a single annoyance. The standard search engine can also be freely selected, so why not the translator?