A discord bot that assigns roles for the game that members are currently playing, so that they are grouped up in the member list.
- Periodically purge game roles (and items in gamelist) that have no players, but only if the role hasn't been modified since creation.
- Allow fetching user with both "gregzaal" and "@gregzaal"