Как изменить расширение файла в Windows: легко меняем формат txt на bat