Working on server memory usage, discovered a massive leak of Redis keys we use to rate-limit clients hammering the server. Hope I can reclaim tons of memory by fixing it.