[ issue 1226 ] Restored correct interaction test output.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
[ issue 1226 ] Restored code that deletes iis filled by Auto.
[ perf ] Changed a normalise to reduce.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
Merge remote-tracking branch 'origin/maint-2.4.0'