refresh CI and fix some link names

.github/workflows/awesome-bot.yml

@@ -12,7 +12,7 @@ jobs:
   test:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: ruby/setup-ruby@v1
       with:
         ruby-version: 2.6

.github/workflows/deploy-pages.yml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Set up Git repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Copy content to deploy
         run: |
@@ -24,7 +24,7 @@ jobs:
 
       - name: Deploy to GitHub pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-        uses: crazy-max/ghaction-github-pages@v2
+        uses: crazy-max/ghaction-github-pages@v4
         with:
           build_dir: public
           target_branch: gh-pages

README.md

@@ -219,14 +219,14 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq
 - [Official Coq Zulip chat](https://coq.zulipchat.com)
 - [Official Coq-Club mailing list](https://sympa.inria.fr/sympa/arc/coq-club)
 - [Official Coq wiki](https://github.com/coq/coq/wiki)
-- [Official Coq Twitter](https://twitter.com/CoqLang)
+- [Official Coq X/Twitter](https://x.com/CoqLang)
 - [Coq Zulip chat archive](https://coq.gitlab.io/zulip-archive/)
 - [Coq subreddit](https://www.reddit.com/r/Coq/)
 - [Coq tag on Stack Overflow](https://stackoverflow.com/questions/tagged/coq)
 - [Coq tag on Theoretical Computer Science Stack Exchange](https://cstheory.stackexchange.com/questions/tagged/coq)
 - [Coq tag on Proof Assistants Stack Exchange](https://proofassistants.stackexchange.com/questions/tagged/coq)
 - [Coq keyword on Zenodo](https://zenodo.org/search?q=keywords%3A%22Coq%22)
-- [coq-community package maintenance project](https://github.com/coq-community/manifesto)
+- [Coq-community package maintenance project](https://github.com/coq-community/manifesto)
 - [Mathematical Components wiki](https://github.com/math-comp/math-comp/wiki)
 - [100 famous theorems proved using Coq](https://github.com/coq-community/coq-100-theorems)
 - [Planet Coq link aggregator](https://coq.pl-a.net)