GitHub Discussion と Zenn は今後あまり更新されないので削除する

Author: Seasawher

content/about.md

@@ -6,9 +6,4 @@ weight = 2
 
 lean-ja は，Lean に関する情報の交換と集積を目的とした日本語コミュニティです．
 
-お問い合わせは [GitHub](https://github.com/lean-ja) に記載のメールアドレスからお願いします．
-
-Lean に関する質問や相談を [GitHub Discussion](https://github.com/orgs/lean-ja/discussions) にて受け付けているほか，以下のような SNS でも活動しています．
-
-* [Discord](https://discord.gg/p32ZfnVawh)
-* [Zenn](https://zenn.dev/leanja)
+Lean に関する質問や相談を [Discord](https://discord.gg/p32ZfnVawh) にて受け付けています．