Update 6.824-2013-notes