Write comments that were accidentally left in the to-do state.

Followup to #1139.  Another commit hook I need to write!