https://www.webtrophy.dev/posts/websocket-redis-scaling/