Заметка.
Бывает что надо изменить расширение файла. Неудобно качать для этого FAR или Total Commander. Это может делать windows.
Нажать Мой компьютер, далее Сервис, далее Свойство папки. Закладка - Вид. Прокрутить немного вниз и снять галку "Скрывать расширения для зарегистрированных типов файлов"
Теперь расширение можно менять путём простого переименования имени файла.