Gracias, @
caraconejo. Probé lo que dijiste ayer a las 9:42 y no me funcionó. Esta tarde haré lo que has comentado hoy a ver si hay más suerte.
Pero no tengo intención de cambiar ni devolver el terminal porque es obvio que es un problema que tiene solución, más allá de que no se la he encontrado.