[ issue 1293 ] Removed note

See https://github.com/agda/agda/commit/58a352f4b9bf0e81a2501b8e1b31a20bc2bbe627#commitcomment-8866476.
Merge branch 'maint-2.4.2'