Y así ha quedado la extensión para GNOME Shell que permite hacer traducciones utilizando deepL
https://github.com/atareao/translate-assistant
En esta versión he añadido la opción de auto traducción, es decir, todo lo que aparece en el portapapeles, lo traduce, y pega esa traducción en el portapapeles
Vamos que con Ctrl+C y Ctrl+V traduces....