[ releases ] Preparation for adding release information for the master branch
Merge branch '2.4.2.1'
[ release notes ] Documented changes in Reflection.agda

The changes are related to https://github.com/agda/agda-stdlib/commit/ed8fcbf5d691f33ab34019a0dc7fda999b3bbfd4.
[ release notes ] Fixed typo
[ releases ] Added documentation for using the future-version file.
Merge branch '2.4.2.1'
Fixed typo
[ Issue 1342 ] With on parent pattern var is no outlawed.
[auto] merge master into gh-pages
[auto] updated html listings