Preview warning UX improvements
PR-aware snapshot warnings — The preview warning workflow now passes the PR number through to the warning script, so the banner can link directly to the pull request when available.
Clearer fallback labeling — When there is no PR number, the warning now explicitly labels the source as a commit instead of showing only a hash prefix.
Less intrusive warning placement — The warning layout was adjusted so the collapsed box sits in the top-right and no longer obscures the References pane.
Editorial cleanup
Alias-name consistency pass — Several placeholder variable and identifier names were renamed across the spec for better consistency and readability. These changes are editorial only.
Other misc changes
IPR script update — The IPR form script was updated for a renamed account.