Remove gendered pronouns

While 'he or she' is preferable to simply 'he', 'they' is unambiguously gender neutral; moreover, it is more concise, equally understandable, and respectful of people who identify themselves through other gendered pronouns.