Removed inappropriate remark about gender

Also made the surrounding paragraph use pronouns consistent with the remaining file
Merge branch 'maint-2.4.2'
[ debug ] Some more debug printing (CheckInternal/Record)
[ clean ] removed an unused hiding in an import.
[ new ] InstantiateFull instances for Substitution and LHSResult.
[ tiny refactor ] in LHS.hs (e.g. removed a shadowing).
[ Issue 1332 ] Workaround.

The underlying problem is an inconsistent handling of hiding information
in Defs arising from module applications.  This fix circumvents it
showing up in checkInternal, which is picky.
[ Issue 1332 ] Test case.
[ Issue 1332 ] Added to CHANGELOG.
[ ghc-compat ] Older versions of containers do not have toDescList.
Merge branch 'maint-2.4.2'

Conflicts:
	test/succeed/Issue1332.agda
Merge branch 'maint-2.4.2'
[ release notes ] Alert users to compile with ghc-7.8.
[ CHANGELOG ] Removed remark about ghc-7.8 (affects master only).
Merge branch 'maint-2.4.2'
[ ghc-compat ] Added LANGUAGE TypeSynoymnInstances for ghc-7.0.
Merge branch 'maint-2.4.2'
[ release 2.4.2.2 ] Added release source repo to .cabal
[ release 2.4.2.2 ] Removed -Werror
[ fix ] Choose unique concrete names when unquoting.