They mention 3.4 million concurrent users online.
From what they say on clustering, it looks that this is also ejabberd.
