Formally deprecate Idris 1

src/content/pages/docs/index.rst

@@ -26,21 +26,25 @@ There is API documentation for the following packages:
 
 You can also find our `Community Standards <{filename}./standards.rst>`_ here.
 
-Idris 1
--------
 
-Documentation for Idris 1 is available from
-`https://docs.idris-lang.org <https://docs.idris-lang.org/>`_.
+Idris 1 (DEPRECATED)
+--------------------
+
+**Idris 1 is deprecated. If you are still using Idris 1, we recommend switching
+to Idris 2.** A list of differences is available
+`in the documentation <https://idris2.readthedocs.io/en/latest/updates/updates.html>`_.
+
+As such, documentation is no longer available through the website. If you still
+require access to the Idris 1 documentation, the following Internet Archive
+(aka. Wayback Machine) snapshots are available:
 
-There is API documentation for the following packages provided as part of the Idris distribution:
+* `Idris 1 documentation <https://web.archive.org/web/20210413141523/http://docs.idris-lang.org/en/latest/>`_
+* `API documentation <https://web.archive.org/web/20210120133940/https://www.idris-lang.org/docs/current/>`_
 
-* `prelude <https://www.idris-lang.org/docs/current/prelude_doc/>`_
-* `base <https://www.idris-lang.org/docs/current/base_doc/>`_
-* `contrib <https://www.idris-lang.org/docs/current/contrib_doc/>`_
-* `effects <https://www.idris-lang.org/docs/current/effects_doc/>`_
+Additionally, the
+`old Idris 1 Wiki <https://github.com/idris-lang/Idris-dev/wiki>`_
+contains a lot of community supplied information. 
 
-The `Idris Wiki <https://github.com/idris-lang/Idris-dev/wiki>`_ contains
-a lot of community supplied information. 
 
 Related Publications
 --------------------

src/content/pages/download.rst

@@ -55,13 +55,26 @@ Previous releases are also available:
 * `idris2-0.5.1.tgz <{static}../releases/idris2-0.5.1.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.5.1.tgz.sha256>`__
 * `idris2-0.4.0.tgz <{static}../releases/idris2-0.4.0.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.4.0.tgz.sha256>`__
 
-Idris 1 (legacy)
-----------------
 
-Idris 1 is no longer maintained but remains available. If you are still using Idris 1, consider switching to Idris 2.
+Editor Support
+--------------
+
+Idris 2 editor integration, including interactive editing, is available through
+different methods:
+
+* `Language Server Protocol (LSP) <https://github.com/idris-community/idris2-lsp>`_
+* `Vim mode (for Idris 2) <https://github.com/edwinb/idris2-vim>`_
+* `Emacs mode (for Idris 1 and 2) <https://github.com/idris-hackers/idris-mode>`_
+* `Emacs mode (for Idris 2 only) <https://github.com/idris-community/idris2-mode>`_
 
-* A list of differences is available
-  `in the documentation <https://idris2.readthedocs.io/en/latest/updates/updates.html>`_.
+
+Idris 1 (DEPRECATED)
+--------------------
+
+**Idris 1 is no longer maintained but remains available. If you are still using
+Idris 1, we recommend switching to Idris 2.**
+A list of differences is available
+`in the documentation <https://idris2.readthedocs.io/en/latest/updates/updates.html>`_.
 
 You can find the source from the following places:
 
@@ -75,42 +88,27 @@ You can find the source from the following places:
 
   + ``git clone`` `git://github.com/idris-lang/Idris-dev.git <https://github.com/idris-lang/Idris-dev>`_
 
-More detailed installation instructions that are maintained by the Idris
-community are available on the wiki for the following platforms:
+The old installation instructions that were maintained by the Idris community
+are available on the Idris 1 wiki:
 
 * `MacOS <https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew>`_
 * `Windows <https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows>`_
 * `Ubuntu <https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Ubuntu>`_
 * `Debian <https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Debian>`_
 
-Binary
-------
-
-There are binary packages available for various platforms:
+There were binary packages available for various platforms:
 
-* For Windows: `Windows Binaries <https://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries>`_
-* For OS X: `idris-current.pkg <http://www.idris-lang.org/pkgs/idris-current.pkg>`_ `(SHA 256 hash) <http://www.idris-lang.org/pkgs/idris-current.pkg.sha256>`__
+* Windows: `Windows Binaries <https://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries>`_
+* OS X: `idris-current.pkg <http://www.idris-lang.org/pkgs/idris-current.pkg>`_ `(SHA 256 hash) <http://www.idris-lang.org/pkgs/idris-current.pkg.sha256>`__
 
 If you require any optional features (e.g. GMP or compile time FFI support),
-you will need to build from source.
-
-Editor Support
---------------
-
-There are editor modes which support interactive editing:
-
-* Idris 2
-
-  * `Vim mode (for Idris 2) <https://github.com/edwinb/idris2-vim>`_
-  * `Emacs mode (for Idris 1 and 2) <https://github.com/idris-hackers/idris-mode>`_
-  * `Emacs mode (for Idris 2 only) <https://github.com/idris-community/idris2-mode>`_
-  * `Language Server Protocol <https://github.com/idris-community/idris2-lsp>`_
+you will need to build Idris 1 from source.
 
-* Idris 1
+Idris 1 editor support existed in the form of:
 
-  * `Vim mode (for Idris 1) <https://github.com/idris-hackers/idris-vim>`_
-  * `Emacs mode (for Idris 1 and 2) <https://github.com/idris-hackers/idris-mode>`_
-  * `(DEPRECATED) <https://github.blog/news-insights/product-news/sunsetting-atom/>`_ `Atom package <https://atom.io/packages/language-idris>`__
+* `Vim mode (for Idris 1) <https://github.com/idris-hackers/idris-vim>`_
+* `Emacs mode (for Idris 1 and 2) <https://github.com/idris-hackers/idris-mode>`_
+* `(DEPRECATED) <https://github.blog/news-insights/product-news/sunsetting-atom/>`_ `Atom package <https://atom.io/packages/language-idris>`__
 
 Footnotes
 ---------