[ issue-1221 ] Backporting fix to maint-2.4.0.
Merge branch 'maint-2.4.0'

Conflicts:
	src/full/Agda/TypeChecking/Quote.hs