Попробую... Проблема в том, что эти имена достаточно хорошо запрятаны внутрь файлов. Если ocean_jumps_b2.pk3 я еще догадаюсь найти, то многие другие - нет. Но это придумаю что-то. Если есть возможность распознать имя файла, то лучше его писать сразу, а не название карты.
Есть предложение сократить только те, на которых не работают боты. Иногда народ хочет устроить мясо или просто вдвоем играют, для чего примитивные - самое оно.
С другой стороны, есть хорошие карты, на которых боты не работают, но пострелять людям - самое оно. Стоит ли менять? Может, подумать над сменой механизма ротации, если 20 карт не хватает?
Сейчас механизм простой. Если в :00 каждого часа никого нет, то сервер перезагружается и карты произвольно выбираются из общей кучи. Это защищает от кривых карт, когда никто зайти не может. На ходу карты не перечитываются, либо я не знаю, как это сделать. Чем неудобны эти карты, если уж вы их запомнили? Просто не голосовать за них? А выкидывать только те, на которых сервер падает? Вот это было бы очень правильно.