HTML nits and documentation updates.