TeX copy editing.
Update TODOs in TeX doc.
Add some thinking "out loud" to TeX doc.