Show the display name more prominently (if one is set), as it is more
"friendly" name. The JID is now displayed instead of just the username, as
this makes it more clear what is being displayed.
The inspiration for this change was the observation that many users on my own
server have the same display name and username, causing a repetitive list
like:
Jane
jane
Robert
robert
Sally
sally
Steven
steven
In addition, some accounts do not have a display name set, so it was not
obvious why some people had their name rendered once, and some twice, and why
the capitalization differences.
e12941eab0