[ release instructions ] Note on std-lib for maintenance rel.
[ refactor ] Standard qualifications for Set and Map.
[ refactor ] Use asks and gets with projections.
[ haddock ] documented Quote and QuoteTerm.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
Merge branch 'maint-2.4.0'