It looks like they just cloned the bootstrap website and changed the theme. They probably don't include bootstrap.zip because this is just a demo, and they wouldn't have the bandwidth to distribute all of bootstrap as a zip file.