docs(pipeline-crew): drop dead {#id} anchors from EXPLANATION.md, repoint HOW-TO links to GitHub auto-slugs (#3613)#3617

Merged

usirin merged 1 commit into

mainfrom

fix/explanation-md-dead-anchors

Jul 19, 2026

Commits on Jul 19, 2026

docs(pipeline-crew): drop unsupported {#id} anchors from EXPLANATION.md, repoint HOW-TO links to GitHub auto-slugs (#3613)

usirin
and
claude
committed