Большинство проголосовало против. Доводы и альтернативы находятся в обсуждении.
Круто бы маскотов называть их родными именами, а то странно, когда видишь Дваче, а все её называют Алисой. Окончание "тян" иногда в русском тексте странно звучит - можно его иногда опускать. Ещё можно использовать сокращения и диминутивы типа Коллайдер -> Кола, Уныл-тян -> Унылка и т. д. Унылочка - вообще мило звучит же.
Хотя это вопрос обсуждаемый. Править придётся дофига, а к новым именам уже тоже все привыкли за 5 лет. Стоит эту задачу оставить на самую последнюю очередь, если будет желание