They do, it's linked from the page: https://github.com/coq/coq/wiki/Alternative-names