More minor touch-ups and refinements across source files and documentation