@aral Not sure I really get this concern. "User" is just a tech-specific word for person. Do you think it's problematic for doctors to refer to the people they treat as "patients", or for teacher to refer to the people they teach as "students"?