#400 merged on 2026-08-15, after the v0.73.2 tag, and was never counted: the
block listed seven PRs and the docs(contributors) commit stopped at #393. Found
while reconstructing attribution for the v0.73.3 release notes.

It is a one-line correction to somebody else's credit in the CHANGELOG, which
makes leaving it uncredited a particularly poor outcome.