Merge pull request #7065 from gilles-peskine-arm/coding-style-doc-2.28

Backport 2.28: Switch to the new coding style: documentation