They do have more users than that, but from memory they typically distribute it in some other interesting way - i think there's a CLI that installs and manages it.