I'd bet those instructions are way out of date and no longer work. But, I'd rather leave "regular" installation (ie. manual) as an advanced exercise. (It's not regular, because we've never really had it working that way :) )

Although we've left MindTouch behind, we've still got a lot of moving parts beyond Django (eg. celery, rabbit, kumascript, elasticsearch, etc). Vagrant + puppet handles those, they're handy to have available. Of course those additional services can be disabled / stubbed out, but we haven't done much work toward that.

Still, I'd hate to try maintaining both the puppet manifests and a plain english explanation on how to install by hand.