diff --git a/src/content/pages/docs/idris2.rst b/src/content/pages/docs/idris2.rst
deleted file mode 100644
index 6be317d..0000000
--- a/src/content/pages/docs/idris2.rst
+++ /dev/null
@@ -1,23 +0,0 @@
-Idris 2 Documentation
-=====================
-
-:status: hidden
-
-Idris 2 is still a work in progress, but documentation is growing, and
-available from
-`https://idris2.readthedocs.org <https://idris2.readthedocs.io/>`_.
-This includes:
-
-* A `crash course in Idris 2 <https://idris2.readthedocs.io/en/latest/tutorial/index.html>`_
-* A list of `Changes since Idris 1 <https://idris2.readthedocs.io/en/latest/updates/updates.html>`_
-* `Changes required <https://idris2.readthedocs.io/en/latest/typedd/typedd.html>`_
-  to the code in `Type Driven Development with Idris <https://www.manning.com/books/type-driven-development-with-idris>`_.
-
-There is API documentation for the following packages:
-
-* `prelude <https://www.idris-lang.org/docs/idris2/current/prelude_docs/>`__
-* `base <https://www.idris-lang.org/docs/idris2/current/base_docs/>`__
-* `contrib <https://www.idris-lang.org/docs/idris2/current/contrib_docs/>`__
-* `network <https://www.idris-lang.org/docs/idris2/current/network_docs/>`__
-* `test <https://www.idris-lang.org/docs/idris2/current/test_docs/>`__
-