Various documentation refinements