Parece que estás usando Windows.
- Abra el Explorador de Windows (Win + E).
- Presiona la tecla Alt. Eso debería hacer que aparezca el menú de archivo (Archivo, Editar, Ver, Herramientas, Ayuda).
- Haga clic en Herramientas> Opciones de carpeta.
- Vaya a la pestaña Ver.
- Desmarque “Ocultar extensiones para tipos de archivo conocidos”. Esto hará que las extensiones de archivo como “.txt” y “.vbe” sean visibles y editables.
- Haga clic en el botón “Aceptar”.
- Busque el archivo al que desea cambiarle el nombre y cámbiele el nombre de la forma habitual, por ejemplo, haciendo clic en el nombre después de que esté resaltado, o resaltándolo y presionando F2.
Es probable que Windows le presente un cuadro de diálogo “¿está seguro de que desea cambiar la extensión?”; dile que sabes lo que estás haciendo.