Originariamente inviato da longline
Direi che non c'è altro modo...
Comunque basta allenarsi in questa procedura, ovviamente da fare con le estensioni visibili:

- selezionare il file
- premere F2
- premere Fine, 4 volte la freccia sinistra, Shift + Home
- scrivere il nuovo nome del file seguito da invio

Una volta che ci si è impratichiti si può abbandonare l'opzione dell'estensione nascosta, roba da lobotomizzati
troppo palloso, non me ne vale la pena. Tanto poche volte devo cambiare l'estensione, userò quella procedura pallosa illustrata prima.