Btw it's really amazing there's a volunteer anti-they pronoun police in the comments now. Thank you. Really good example of how you getting annoyed at something turns you into the something. It's pretty natural in English to use "they" in those contexts, policing it doesn't mean you're fixing some programming I got.
