Cambiar extensión de un archivo en Windows 10