Current server / redis specs?

#1

Totally unimportant, but I seem to remember that you are using some huge redis instances. Is that still true? I’m curious about the size and replication/sharding.