docs: record the 8.0.0 documentation corrections, and correct the last copy of the claim - #22

Merged

CaffeinatedCoder merged 2 commits into

mainfrom

docs/8.0.0-changelog-note

Aug 17, 2026

Commits on Aug 17, 2026

docs: record the documentation corrections in the 8.0.0 notes

CaffeinatedCoder
and
claude
committed
a502057
docs: correct the last copy of the exhaustiveness claim

CaffeinatedCoder
and
claude
committed
28573b1