@aral
and, users are people.

You sound upset by people being called 'users'. Why?
Maybe I am just used to English evolving continuously. You can't hang on to particular words too closely. There are what, 3billion? English users.
This makes it rich.