fix: gate reference-manual tagging on release notes title correctness#12512

kim-em merged 2 commits intomasterleanprover/lean4:masterfrom

fix-release-notes-title-orderingleanprover/lean4:fix-release-notes-title-orderingCopy head branch name to clipboard