diff --git a/pages/index.html b/pages/index.html index 54a60fe484..f65bc7a50b 100644 --- a/pages/index.html +++ b/pages/index.html @@ -67,8 +67,7 @@ Awesome Coq curated list of projects and resources). We have a multi-lingual Discourse forum and a -Zulip chat with a continuously updated -openly accessible archive. +Zulip chat.

Note our code of conduct