We very much appreciate the PR. Thank you.
Also, it appears the Vagrant box that we were using has recently been pulled from Vagrant Cloud, which resulted in the error you noted. I’ve identified and tested a different box, and the Vagrant environment has been updated accordingly.
.deb packages are available–the Vagrant environment sets up the repositories and then installs the specific packages. If you are interested, you may want to look at the script(s) being called by the
VagrantFile to see what is being done to prep the environment.
Regarding the documentation, the fast pace of the project has certainly left some detritus in its wake. We appreciate you pointing it out where you’ve found it (and providing the PR), and we’ll continue to look for it as well, as it certainly does cause confusion.