Updates (miniblog)

Updated local version (last updated July 12) of the ArXiv version.