> frees up a programmer's mental resources and enables her

Am I the only one that found it weird to assign a gender to "a programmer". 'Him' & 'her' are both weird sounding. It should be 'them'.

I appreciate they're trying to be woke, but it falls flat.