More documentation additions, and more (minor) clean-ups.