Сэр, сомнения понятны, но беспочвенны.
Само собой, там где файлы с "_mini" в названии - это мини-версия.
Если изначально (перед стартом кампании) сознательно выбрать мини-версию, то задействованы окажутся именно эти файлы.
А минимизатор представляет собой те же файлы мини-миссий, только лишенные "_mini" в названии. Файлы сознательно, злонамеренно переименованы так, чтобы их имена полностью совпадали с именами файлов полномасштабной версии.
Для чего это нужно? Предположим, начал игрок полноценную версию, и на энной миссии почувствовал, что его комп не тянет: есть тормоза, фризы и т.д. Вот тут-то и пригодится минимизатор: распаковав его согласно инструкции, мы заменяем тяжелые файлы на легкие. Именно из-за совпадения имен. При этом миссии облегчаются, но стат не страдает, и игрок может продолжать кампанию с того же места, где перед этим остановился.
Удачи!