También puedes hacerlo de otra forma que ademas te sera mucho mas util, con un gestor de archivos, tipo windows comander (que es el que yo uso) puedes cambiar todas las extensiones que quieras sin lios de opciones de carpeta ni nada de eso, ademas, como alguien me dijo una vez y no le crei hasta que lo probe, cuando te acostumbres a utilizar este programa ya no sabras trabajar en un ordenador que no lo tenga, y, JOER, ES CIERTO ejejej.

Salu2 a To2.

__________________