German here: in german all nouns have a gender. and virtually all nouns used to describe people in general are male (like user, human, citizen) and a majority of professions as well. As such using male pronouns in documentation is common as you refer to a user (and the word user has male gender). However there is a big debate in Germany about gender inclusive language that moves away from this “generic masculinity” of nouns. And of course the political left is pro inclusivity while the right is against it.
So if a (german) dev is actively defending the use of male-only pronouns they probably fall into the anti-invlusive-language camp in Germany as well. Its reasonable they would make the mistake when just translating from German, but starting a fight over changing it is sus.
That’s how landlords work.
Take loan, buy houses, house has to pay back loan via rent, rent is paid for by renter.
Landlord gets house for free, everything paid by renter.