Lots of people tend to hate the usage of they; he's basically setting an area of compromise for the people who put forth the argument that they isn't proper grammar. (You wouldn't think this would be an issue, but free software nerds manage to outdo themselves.)