[release] Update the Download page for 0.7.0

With the previous commit uploading the tarball, checksum, and the actual
blog post announcing the release, this commit updates the Downloads page
to point people at it. Relatedly, it also moves 0.6.0 to the "previous
releases" part of the page.

I am undecided as to whether this is sufficient to remove the disclaimer
at the top of the webpage. For now, I will leave it in place, just to be
safe.

There was also some housekeeping done in terms of:
* The Chez Scheme URL being moved since the project went open-source.
* Minor typos and phrasings to do with the legacy version (Idris 1).

Author: CodingCellist

src/content/pages/download.rst

@@ -13,14 +13,21 @@ you will likely want to use*
 Idris 2
 -------
 
-The latest version is Idris 2 0.6.0. You can find the latest release at:
+The latest released version is Idris2-0.7.0,
+`released 2023-12-22 <{filename}../posts/idris2-0-7-0-released.rst>`_.
 
-* `idris2-0.6.0.tgz <{static}../releases/idris2-0.6.0.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.6.0.tgz.sha256>`__
+You can install and use Idris 2 via either:
+
+* ``pack``, the package manager – please see
+  `pack's install instructions <https://github.com/stefan-hoeck/idris2-pack>`_.
+* The release tarball –
+  `idris2-0.7.0.tgz <{static}../releases/idris2-0.7.0.tgz>`_
+  `(SHA 256 hash) <{static}../releases/idris2-0.7.0.tgz.sha256>`__.
 
-This includes Scheme source as generated by Idris, so you don't need an
-existing Idris 2 system to build. You need:
+Both include generated Scheme sources sufficient for bootstrapping, so you don't
+need an existing Idris 2 system to build. You need:
 
-* Either `Chez Scheme <https://www.scheme.com/>`_ or `Racket
+* Either `Chez Scheme <https://cisco.github.io/ChezScheme/>`_ or `Racket
   <https://racket-lang.org>`_ to build the generated Scheme source
 * ``bash``, with ``realpath``. On Linux, you probably already have this. On
   a Mac, you can install this with ``brew install coreutils``.
@@ -29,23 +36,23 @@ existing Idris 2 system to build. You need:
 You can always find the latest development version `on github
 <http://github.com/idris-lang/Idris2>`_:
 
-+ ``git clone`` `https://github.com/idris-lang/Idris2.git <https://github.com/idris-lang/Idris2>`_
+* ``git clone`` `https://github.com/idris-lang/Idris2.git <https://github.com/idris-lang/Idris2>`_
 
-You can also install and use Idris 2 via ``pack``, the package manager:
-
-* See `pack's install instructions <https://github.com/stefan-hoeck/idris2-pack>`_
+Or by switching to the ``"latest"`` package collection if using ``pack``.
 
 Previous releases are also available:
 
+* `idris2-0.6.0.tgz <{static}../releases/idris2-0.6.0.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.6.0.tgz.sha256>`__
 * `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.
+Idris 1 is no longer maintained but remains available. If you are still using Idris 1, consider switching to Idris 2.
 
-* Guide to port to `idris 2 <https://idris2.readthedocs.io/en/latest/updates/updates.html>`_
+* 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: