From faa5d092448260f14994b8e23f38dbe4f8f93694 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmi@gmail.com>
Date: Wed, 16 Mar 2022 12:31:22 +0100
Subject: [PATCH] Add Q&A terminology consistently.

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
---
 pages/community.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pages/community.html b/pages/community.html
index 5b35ba7528..86c8912e67 100755
--- a/pages/community.html
+++ b/pages/community.html
@@ -31,7 +31,7 @@
 The following channels also have a strong presence of Coq users:
 </p>
 <ul>
-<li>Other sites in the Stack Exchange galaxy, such
+<li>Other sites in the Stack Exchange Q&amp;A site galaxy, such
 as <a href="https://stackoverflow.com/">Stack Overflow</a>
 (<a href="https://stackoverflow.com/questions/tagged/coq">coq</a> tag)
 and <a href="https://cstheory.stackexchange.com">TCS Stack Exchange</a>