Slight rewording

Remove empty top-level heading in the appendix. Some other slight
tweaks.
Revert "would this hurt?"

This reverts commit 94ceebb1c7e8bfbfbee932fd62676077e5a908b6.
(does not add to the story we're telling)