Xcode Version 5.1 (5B103i) is a bit flakey about a particular kind of warning. Given:
	NSLog(@"document state = %lu", document.documentState);
Xcode first wants %u, then %lu. I fix that by casting the ennui argument as (unsigned long).
Minor changes: added a comment and removed a double semicolon.
Verified that the app still works under 7.1 (11D167) GM.
Minor update for iOS 7.1 (11D167) GM

For now, I’ve crapped the attempt to animate updated records in the
table view. Be sure to clear the app’s cloud storage after each session.