@MaxGuthier
I was going to reply with something similar, and it was fascinating to see the geek historian elsewhere in the thread point out that 'users' came into digital networks from libraries, not generally known as misanthropic projects. I think it's perfectly fine to talk about 'users' in dev discussions where a user isn't necessarily a human at all (could be another piece of software).
Having said that, @aral has a point. In many contexts 'people' (or 'fedizens') is a better choice.
@strypey @aral
Oh, yes, certainly there is a point. If we talk about the human interactions in the fediverse, certainly we are taking about people. Only if we speak about the adoption and utilization of technology is the term 'user' relevant.
One of the many boons of the #fediverse is that the technological client and the digital society are independent from each other.