Element-web: Rename 'kick' as 'remove from chat'

[ara4n]

as 'kick' is needlessly aggressive

[BurnyBoi]

It hasn't been considered aggressive for the decades it's been an IRC command, so why would it be now? Put a nice message in the reason field if you don't want to hurt their feelings. It's not like you're actually physically kicking them...

[jryans]

We have the option to be less aggressive, so let's go ahead and do that. There's no need to comply with the idiosyncratic norms of IRC culture in the labelling of UI features.

[BurnyBoi]

My main point was that it's not aggressive at all. Being "kicked out" of somewhere is a common term that is mutually understood to mean you were removed. Removing someone from a room against their will is going to potentially upset them regardless of what you call it.

I don't really care what the UI says, but please keep the /command as "/kick" for the sake of familiarity and efficiency.

[VindictiveViolator]

Um, excuse me, sweetie, this is 2019...

'ban' as in 'banish' is also unnecessarily aggressive and totally inappropriate if you consider African American history. It should be renamed to 'Adorn Chastity Device' instead.

[CounterPillow]

Aggressive terminology in the "riot" project, we can't have that, oh no no.

[ara4n]

empirically we’ve seen people unfamiliar to the app see the word “kick user” and say “wtf? is this like poking them?” rather than extrapolating it to “kick the user out”.

so, as amusing as it is to see people getting so overexcited about such a trivial change, i’m going to lock the issue to contributors. thanks!