Cause minimal file diffs for easier security analysis of releases

[Robbert]

Very strict lint settings makes sure all changes are related to semantic changes, and not style changes.

This improves the S/N ratio (signal-to-noise) in commits and release patches.