Fix handling of Mongo exit callback (followup to 6358930).
Rough draft of History.md additions. Covered all changes through ab59ae2.

Includes some XXX notes (some of which are about History.md itself, some of
which are suggestions for things to make sure to address before the next
release).