I might be missing something, but I don’t know an easy way to get the userIDs of other users.
The best way I found so far is to use the competition match data results, since there are userIDs included: https://terminal.c1games.com/api/game/competition/135/matches
I had an issue finding these as well, I thought maybe this is intended to prevent to much information on other players. But I don’t know.
In my opinion it does make sense to add them though, we pretty much have all information on other players anyway.
Will be simple to add this to the leaderboard, expect that to be out next week. Will probably toss it in a few other locations where user data is serialized where it makes sense.