Total Commander

[Own Little World]

Я нашел более простой способ. Честно говоря, странно, что сразу не сообразил, ну да ладно.
В общем, нужно использовать foobar2000. В нем есть функция переименования файлов.
Превращаем файл *.txt в плейлист (это несложно, просто меняем расширение на *.m3u). Импортируем этот плейлист в foobar2000 (главное, чтобы наш файл-плейлист находился в одной папке с искомыми файлами, которые нужно переименовать).
А дальше самое легкое: выделяем элементы плейлиста, выбираем File Operations - Rename to... К качестве маски указываем