Server nicknames

[omrih4]

Problem

Right now servers always appear as their global name

Proposed solution

Adding a local name / nickname system would be useful when there are two servers with the same name, or for giving a preferred name to a server locally

Notes (optional)

No response

Checks

• I searched for existing issues and didn't find a duplicate.

[omrih4]

Local friend nicknames would also be nice, similarly to discord

[Kamalaja]

Friend nicknames are added, we do not plan to implement community nicknames