Eh it's just arbitrary convention we landed on. You're right that it's redundant (as opposed to just "he" or "she", for example). You will sometimes see people

Eh it's just arbitrary convention we landed on. You're right that it's redundant (as opposed to just "he" or "she", for example). You will sometimes see people write something like "he/they", but that just means that either are acceptable.