[ admin ] Clear the release checklist post-v0.8.0

I believe that is everything taken care of in terms of admin which can
only be done _after_ the release is actually live on git, GitHub, the
website, etc.  This completes the release of Idris2-v0.8.0!

Author: CodingCellist

Release/CHECKLIST

@@ -1,59 +1,59 @@
-- [x] Change version number (MAJOR, MINOR, PATCH) in Makefile
-- [x] Change version numbers in doc listings
-    - [x] idris-prompt-helloworld
-    - [x] idris-prompt-interp
-    - [x] idris-prompt-start
-- [x] Change version numbers in `libs/`
-    - [x] `prelude/prelude.ipkg`
-    - [x] `base/base.ipkg`
-    - [x] `contrib/contrib.ipkg`
-    - [x] `linear/linear.ipkg`
-    - [x] `network/network.ipkg`
-    - [x] `papers/papers.ipkg`
-    - [x] `test/test.ipkg`
-- [x] Change version number in idris2api.ipkg
-- [x] Change version number in flake.nix
-- [x] Change version number in the test outputs (TODO: make this step unnecessary!)
-  - [x] `tests/idris2/pkg/pkg006/expected`
-  - [x] `tests/idris2/pkg/pkg010/expected`
-  - [x] `tests/idris2/pkg/pkg015/expected`
-  - [x] `tests/idris2/pkg/pkg017/expected`
-  - [x] `tests/idris2/pkg/pkg020/expected`
-- [x] Move CHANGELOG_NEXT.md entries into CHANGELOG.md under a heading for the
+- [ ] Change version number (MAJOR, MINOR, PATCH) in Makefile
+- [ ] Change version numbers in doc listings
+    - [ ] idris-prompt-helloworld
+    - [ ] idris-prompt-interp
+    - [ ] idris-prompt-start
+- [ ] Change version numbers in `libs/`
+    - [ ] `prelude/prelude.ipkg`
+    - [ ] `base/base.ipkg`
+    - [ ] `contrib/contrib.ipkg`
+    - [ ] `linear/linear.ipkg`
+    - [ ] `network/network.ipkg`
+    - [ ] `papers/papers.ipkg`
+    - [ ] `test/test.ipkg`
+- [ ] Change version number in idris2api.ipkg
+- [ ] Change version number in flake.nix
+- [ ] Change version number in the test outputs (TODO: make this step unnecessary!)
+  - [ ] `tests/idris2/pkg/pkg006/expected`
+  - [ ] `tests/idris2/pkg/pkg010/expected`
+  - [ ] `tests/idris2/pkg/pkg015/expected`
+  - [ ] `tests/idris2/pkg/pkg017/expected`
+  - [ ] `tests/idris2/pkg/pkg020/expected`
+- [ ] Move CHANGELOG_NEXT.md entries into CHANGELOG.md under a heading for the
      upcoming release version. Reset CHANGELOG_NEXT.md, leaving the
      "[Next version]"-heading blank.
-- [x] Make sure INSTALL.md gives the correct minimum Idris version
-- [x] Update bootstrap chez and racket (built with new version)
-    - [x] Compile Idris2 with the appropriate CGs (chez and racket)
-    - [x] Copy the resulting `idris2.ss` and `idris2.rkt` files from
+- [ ] Make sure INSTALL.md gives the correct minimum Idris version
+- [ ] Update bootstrap chez and racket (built with new version)
+    - [ ] Compile Idris2 with the appropriate CGs (chez and racket)
+    - [ ] Copy the resulting `idris2.ss` and `idris2.rkt` files from
         `build/exec/idris2_app/` to `bootstrap/idris2_app/`
-    - [x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as
+    - [ ] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as
         the string "__PREFIX__" rather than your local prefix
-    - [x] Remove __collect_safe from generated chez (to avoid need for
+    - [ ] Remove __collect_safe from generated chez (to avoid need for
         chez >9.5)
-    - [x] Bootstrap with both chez and racket, then repeat the sub-steps above
+    - [ ] Bootstrap with both chez and racket, then repeat the sub-steps above
         in order to have an bootstrap code which was generated by the new
         compiler
 - [ ] [FIXME (issue#3587)] ~~Make libdocs and upload to idris-lang.org~~
-- [x] Tag on github with version number (in the form vX.Y.Z)
-- [x] Run the `mkdist.sh` script with the version number as its argument, i.e.
+- [ ] Tag on github with version number (in the form vX.Y.Z)
+- [ ] Run the `mkdist.sh` script with the version number as its argument, i.e.
     without the leading `v`, only the numbers. (N.B. This requires the new
     version tag to exist!)
-- [x] Update idris-lang website
-  - [x] Copy the `idris2-X.Y.Z.tgz` (created by `mkdist.sh`) to the website's
+- [ ] Update idris-lang website
+  - [ ] Copy the `idris2-X.Y.Z.tgz` (created by `mkdist.sh`) to the website's
     `content/releases/` subdirectory.
-  - [x] Create a corresponding `idris2-X.Y.Z.tgz.sha256` in the website's
+  - [ ] Create a corresponding `idris2-X.Y.Z.tgz.sha256` in the website's
     `content/releases/` subdirectory, containing the output of `sha256sum` run
     with the tarball as its argument.
-  - [x] Create a brief post in the website's `content/posts/` subdirectory
+  - [ ] Create a brief post in the website's `content/posts/` subdirectory
     announcing the new release.
-  - [x] Update the website's `content/pages/download.rst` page, moving the now
+  - [ ] Update the website's `content/pages/download.rst` page, moving the now
     previous release to the list of historic releases, and updating the version
     numbers, links, and dates in the main text to match the new release.
-- [x] Update `IDRIS2_MINIMUM_COMPAT_VERSION` in
+- [ ] Update `IDRIS2_MINIMUM_COMPAT_VERSION` in
   `.github/workflows/ci-idris2-and-libs.yml` to point to the new release
   version.
-- [x] If not already pending, create a PR to against
+- [ ] If not already pending, create a PR to against
   `idris2-pack-db/collections/HEAD.toml` so that it uses the latest release
   version.
 - [ ] Clear the release checklist