But that's also clumsy because you end up with sentences like:
"The user switches on the user's computer and types the user's name".
Rather than the shorter and better flowing:
"The user switches on her computer and types her name"
We have the concept of "user stories" the idea of which is that they read like stories. Since stories tend to have gendered characters (even when not necessary) this is just the sort of writing that tends to work best in english.
I don't understand how. Is the user female? Must she be? Why did the author choose a gendered pronoun when they had a gender-neutral one available to them? There must have been a reason; the author isn't assumed to be ignorant of basic English.