Some cleanup, whitespace normalization, style adjustments (to `docs/codingstyle.txt`). Should behave exactly the same ...