[ refactor ] quoteKit returns record instead of tuple
Merge branch 'maint-2.4.2' of https://github.com/agda/agda into maint-2.4.2