portico: Update contributor count from 700 to 1000.

Note: I did not check whether we have numbers other than 700 that also
need to be updated.

README.md

@@ -9,7 +9,7 @@ designed for both live and asynchronous conversations.
 
 Zulip is built by a distributed community of developers from all around the
 world, with 74+ people who have each contributed 100+ commits. With
-over 700 contributors merging over 500 commits a month, Zulip is the
+over 1000 contributors merging over 500 commits a month, Zulip is the
 largest and fastest growing open source team chat project.
 
 [![GitHub Actions build status](https://github.com/zulip/zulip/actions/workflows/zulip-ci.yml/badge.svg)](https://github.com/zulip/zulip/actions/workflows/zulip-ci.yml?query=branch%3Amain)

docs/contributing/gsoc.md

@@ -8,7 +8,7 @@ mobile app for iOS and Android, cross-platform desktop and terminal apps, and
 over 100 native integrations. The entire Zulip codebase is 100% open source.
 
 Zulip has been gaining in popularity since it was [released as open source
-software][oss-release] in late 2015, with code contributions from [over 700
+software][oss-release] in late 2015, with code contributions from [over 1000
 people](https://zulip.com/team) from all around the world. Thousands of people
 use Zulip every day, and your work on Zulip will have meaningful impact
 on their experience.

templates/zerver/hello.html

@@ -354,7 +354,7 @@
                 <h1>Open source.</h1>
                 <p>
                     Zulip is <a href="https://github.com/zulip/zulip">100% open source software</a>,
-                    built by a vibrant community of over 700 developers
+                    built by a vibrant community of over 1000 developers
                     from all around the world.  With 160,000 words of
                     <a href="https://zulip.readthedocs.io/">developer documentation</a>,
                     a high quality code base, and a

templates/zerver/team.html

@@ -22,7 +22,7 @@
         <div class="padded-content markdown">
             <div class="team">
                 <p>
-                    Over 700 people have contributed to the Zulip
+                    Over 1000 people have contributed to the Zulip
                     codebase, from high school students to 30 year
                     industry veterans, from people launching new careers
                     to people looking for community. Meet the team