Miscellaneous documentation updates.