[ tiny refactor ] A use of addContext.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0