- [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
     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
        `build/exec/idris2_app/` to `bootstrap/idris2_app/`
    - [x] 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
        chez >9.5)
    - [x] 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~~
- [ ] 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!)
- [ ] Clear the release checklist
