Salut,
Pour changer l'extension d'un fichier, il te suffit de faire " F2 ", tu sélectionne tous, et tu remplace par le nom & l'extension souhaité.
Par exemple :
test.txt -> index.html
- sélectionner test.txt
- appuyer sur " F2 "
- sélectionner tous (donc Ctrl + a)
- Et réécrire "index.html"
Voilà !