BTW, it looks like at least one version of the installer included a binary, though the creator says that's not true anymore, so you were (partially) right and I was (partially) wrong.