I've seen the various posts about the software architecture and indeed the db hardware is documented too.
I've also seen a reference to HAProxy as the load balancing software.
What does HAProxy run on though? It appears to be running on a Linux box; is this correct? Or have some other Linux-based balancing appliance now been installed?