Files to launch the repository--mostly from July 2013.