combien, combien ??

Petite question, ce n'est pas un troll (et bien sournois celui qui en trouvera un) : ils sont combien à bosser sur le Hurd ? Juste pour avoir une idée, un ordre de grandeur ou une fourchette me va très bien.