Miscellaneous docs fixes

Formatting, quieting build errors, etc.