Практическая проблема здесь, с которой мне не хочется сталкиваться - это именно отношение людей к такому названию группы. Люди не все знают нюансы истории - и, если достаточно многие будут относиться к команде с названием ГИРД несерьёзно, это просто будет мешать команде. История тут не при чём.
У названия "Миниморум" есть хорошие и плохие стороны, но, в свете данной дискуссии, поддерживаю это название. Может, так и сделаем?