Design notes

A standalone markdown page whose '{#label}' names it.

See the hand-picked anchor and the changelog.

Rationale

Some prose.

Rationale

A second heading with the same text, to pin the anchor de-duplication.

Hand-picked anchor

An explicit label on a subheading must survive verbatim rather than be replaced by a derived one.