Add Q&A terminology consistently.

Co-authored-by: Karl Palmskog <[email protected]>
coq · Mar 16, 2022 · faa5d09 · faa5d09
1 parent f10bc53
commit faa5d09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>