[diff] Inconsistent formatting of examples

[burblebee]

Examples in [diff] are introduced with "For example:" or "Example:", and the example for [lex.string] uses \begin{example}. Can we be consistent here?

[AlisdairM]

Was this addressed by #6992?

[tkoeppe]

Yes, even ISO has caught onto that :-) Thanks!