Yes, it did shut down. Other links related to it:

* wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names

* chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou...

* forum: https://coq.discourse.group/t/renaming-coq/1264