Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Agda/Interaction/InteractionTop.hs