Люди будут просто указывать "миди", а потом исправлять на "мини". Что будет неестественно. Смысл гоняться за явлением, которое никому не мешает?
(Кто плюсует - чем вам оно мешает? Сколько клавиатур вы в приступе отчаянного бешенства разбили, узнавая, что какой-то мини не закончен?))