Bakkot comments on Open thread, July 28 - August 3, 2014

[Bakkot]

Done. Client-side version, that is.