@rf понадобилось поменять кодировку у TXT-шника в LibreOffice, потому что без этого он открывался наизжоп. Полчаса ушло, ничего не вышло. Проще оказалось его в браузере открыть и через инструменты разработчика править.

Задача, конечно, выполнена, но вопрос всё ещё стоит: как кодировку-то у уже существующего текста поменять?