Update casing for Coq-community.

pages/community.html

@@ -93,7 +93,7 @@
 called <a href="https://github.com/coq-community/manifesto">coq-community</a>,
 exists to ensure the long term maintenance of Coq packages, and advance
 other collaborative projects such as documentation writing; it is
-always looking for new volunteers. Among other projects, coq-community
+always looking for new volunteers. Among other projects, Coq-community
 hosts <a href="https://github.com/coq-community/awesome-coq">Awesome Coq</a>,
 a curated list of Coq formalizations, plugins, tools, and resources.
 </p>
@@ -104,7 +104,7 @@
 <ul>
 <li><a href="/packages.html">Coq Package Index</a></li>
 <li><a href="https://github.com/coq/coq/blob/master/dev/ci/README-users.md">Coq's CI</a></li>
-<li><a href="https://github.com/coq-community/manifesto">coq-community</a></li>
+<li><a href="https://github.com/coq-community/manifesto">Coq-community</a></li>
 <li><a href="https://github.com/coq-community/awesome-coq">Awesome Coq</a></li>
 </ul>
 </div>