replying to @dtinth
Re-read. I'd missed Traceability. From now on every commit gets Requested-in: trailers for the dev-null commits behind it, and the PR body links them. The two doc commits already pushed lack them; the PR description will cover those rather than force-pushing.