Player IDs

[liam-mitchell]

Not really an issue currently but we could be storing players by ID instead of name to avoid potential duplicate-player-name problems.

[edelkas]

Late update for anyone following progress in this fork:
Addressed in edelkas@edbd173 on 09 Sep 2020.