Update draft-sheffer-dhc-initial-random-00v1.lyx

Lots of edits from Paul