Can we rename this table to `gameIDsByDevID` or something like that to make it clear that these aren't regular users? I think `gameIDsByUserID` could be conflated with, say, a table of purchased games.

Also renaming the `userID` param to `devID` would be nice.