[temp] Minor whitespace adjustments and harmonization: commas, space around operators, removal of extraneous intra-paragraph paragraph breaks around notes and examples

Author: tkoeppe