diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index f7d8805bee7a629db433611d61cd3d746887c396..00485b47da531d1d97c06026de3543f2973f82b7 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,14 +1,5 @@
 # Contributing to the Iris Coq Development
 
-Discussion about the Iris Coq development happens on the mailing list
-[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) and
-in the [Iris Chat](https://mattermost.mpi-sws.org/iris).  This is also the right
-place to ask questions.  The chat requires an account at the
-[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
-tab).  If you want to report a bug, please use the
-[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
-requires an MPI-SWS GitLab account.
-
 ## How to submit a merge request
 
 To contribute code, please send your MPI-SWS GitLab username to
diff --git a/README.md b/README.md
index e99525d7327c672ef89d7fb56e2bf69abf9bba73..dcd8aa0880c48faa307fe81fd57aa2ef204ab2d3 100644
--- a/README.md
+++ b/README.md
@@ -116,4 +116,13 @@ that should be compatible with this version:
 * Naming conventions are documented at [Naming.md](Naming.md).
 * The generated coqdoc is [available online](https://plv.mpi-sws.org/coqdoc/iris/).
 
+Discussion about the Iris Coq development happens on the mailing list
+[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) and
+in the [Iris Chat](https://mattermost.mpi-sws.org/iris).  This is also the right
+place to ask questions.  The chat requires an account at the
+[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
+tab).  If you want to report a bug, please use the
+[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
+requires an MPI-SWS GitLab account.
+
 To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).