diagrams: cosmetic fixes to config
manual: write up rationale for cpp_formatter's choices