This change, and others from me immediately following it, are part of
one long editing pass to get this report into final form (while Seth
is resolving any still-unresolved citations).  There's no point in
trying to write a detailed log message for each commit, since the
commits are just checkpoints anyway; the best way to know what
happened is to just look at the diff.