End-game should print names in same format as game start info panel

[lphillips]

The end-game panel prints Discord ids instead of names, which isn't as informative as the names printed in the game start panel.