Technical writeup: Implementing Discord’s rate limiting, gateway management, and “clarity over magic”