Remove Discord links (#132)

Remove the links to Discord, as we're not checking Discord often enough
to timely respond to messages there.

docs/README.juvix.md

@@ -46,12 +46,7 @@ high-level programming language with many more on the horizon. It can
 compile programs into native executable, WASM, Cairo bytecode and
 arithmetic circuits facilitating zero-knowledge proofs.
 
-Stay tuned for Juvix updates! Follow us on [:material-twitter: Twitter][twitter]
-and join our [:fontawesome-brands-discord: Discord][Discord] community.
-
-<!-- To follow the development of Anoma, follow [:material-twitter: Anoma
-Twitter][anomaTwitter] and join [:fontawesome-brands-discord: Anoma
-Discord][anomaDiscord]. -->
+Stay tuned for Juvix updates and follow us on [:material-twitter: Twitter][twitter]!
 
 </div>
 
@@ -115,7 +110,7 @@ Discord][anomaDiscord]. -->
     ---
 
     Check out our blog to discover new features in the upcoming release, along
-    with helpful examples and more. And, don't forget to join us on [Discord].
+    with helpful examples and more.
 
     [:octicons-arrow-right-24: Blog](./blog/index.md)
 
@@ -132,8 +127,6 @@ Discord][anomaDiscord]. -->
 
 [anoma]: https://anoma.net
 [changelog]: https://docs.juvix.org/changelog.html
-[Discord]: https://discord.gg/jwzaMZ2Sct
-[anomaDiscord]: https://discord.gg/jwzaMZ2Sct
 [geb]: https://github.com/anoma/geb
 [GitHub]: https://github.com/anoma/juvix
 [homebrew]: https://brew.sh

docs/howto/contributing.md

@@ -42,8 +42,7 @@ Codespace][juvix-codespace]
 We value readability and maintainability over saving lines of code. The best
 source of truth for the Juvix code style is the existing codebase. We strongly
 encourage you to look at the existing code and follow the same style. Open an
-issue if you have any questions, or better yet, join our [Discord][discord] and
-ask there!
+issue if you have any questions.
 
 Some basic guidelines when writing code:
 
@@ -73,4 +72,3 @@ Thank you for contributing to Juvix!
 [stack]: https://docs.haskellstack.org/en/stable/README/
 [just]: https://just.systems
 [pre-commit]: https://pre-commit.com/
-[discord]: https://discord.gg/PfaaFVErHt

mkdocs.insiders.yml

@@ -74,8 +74,6 @@ extra:
   social:
     - icon: fontawesome/brands/github
       link: https://github.com/anoma/juvix
-    - icon: fontawesome/brands/discord
-      link: https://discord.gg/jwzaMZ2Sct
     - icon: fontawesome/brands/x-twitter
       link: https://x.com/juvixlang
     - icon: fontawesome/solid/blog

mkdocs.yml

@@ -182,8 +182,6 @@ nav:
       - blog/index.md
   - Talks:
       - talks.md
-  - Discord: https://discord.gg/jwzaMZ2Sct
-
 
 validation:
   nav: