No assumption on how player names are stored in sessionStorage, please - this is likely to change - not only the location, but the *format* has planned changes.

If you need to load all agent names, add a new function to code/player_names.js to retrieve them, so all storage access is in one place when it's changed.