Assorted documentation and formatting cleanups

This is true! :D