@aral
I am vociferously opposed to the idea that developers and designers - especially the ones working on Open Source projects - apply the name user as a vehicle for patronization. People who interact with technology are users, them acting in that specific role in that specific context doesn't make them any less peopl-y. The same applies to employees, consumers, etc.
Ranting against these context specific terminologies just looks like wilful antagonism.
@MaxGuthier 100% agree. the issue of artificial boundaries between so-called "users" and "developers" is not primarily one of how language is used, but of software freedom.