Make an option to see userid's instead of nicknames.

Some users change their nickname quite often, which of course is their prerogative; however, it can be confusing for those of us, with a bad memory for names.

Ideally, a global default, and then individual settings on per user basis would be nice.