As also posted on GitHub, add GraphQL event subscriptions to the API for at least basic events like games ending, user registrations, etc.