Notifications realtime API

I see that there are server to client socket.IO messages for notifications, but I can’t find the API to subscribe to them on the client side. It looks like we are supposed to get the notification auth token from ui/config and then pass it to the realtime API somehow, but I don’t see anything like that in the websocket traffic when I use the web interface.

Nevermind, I eventually guessed it based on other APIs. The message format, for anyone interested, is:

{player_id: 123, auth: “deadbeef666…”}

socket.On(“notification”, …)

Seems to be a catchall for many types of notifications and UI pushes, including game challenges.