As the server seems down, here is a mirror of the content: https://clarus.github.io/coq-renaming-emails/
(this is mailing list)
Here are some other links related to the discussion:
* wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names
* chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou...