Название проекта Coq

https://habr.com/ru/post/551658/
Тоже сегодня видел ссылки на то, что хотят изменить название у этого
даже мне известного проекта. Типа 30 лет все с ним работали, всё было
нормально, а теперь внезапно начали углядывать "член" в его названии и
логотипе и поэтому срочно нужно что-то делать. Хочется сказать что мир
сходит с ума, но мне кажется что просто в нормальных ИТ сообществах
стало появляться куча людей "со стороны", уничтожающих всё на своём
пути. Как это было с Usenet и его темой "eternal september".