Assorted documentation and formatting cleanups