Snapshot preview warning now highlights the PR (
243e030)
The PR preview workflow now passes the PR number into the warning script, and the banner was updated to link directly to the PR when available. The warning’s layout was also reworked so the collapsed box sits in the top-right instead of obscuring the References pane.
Clarify commit fallback labeling in snapshot warnings (
19fc72f)
When no PR number is available, the snapshot warning now labels the summary as a commit explicitly instead of showing only the hash prefix. This makes the fallback mode easier to understand at a glance.
Editorial alias-name cleanup across the spec (
858e41d)
A broad editorial pass renames several placeholder variables and identifiers throughout the spec text for consistency and readability. This is non-normative, but it reduces ambiguity in the algorithms.
Other misc changes
- IPR form script updated for a renamed account (
8321a58)