Refresh the reserved-HTML-id check in identifier-warning#2891

Merged

rbeezer merged 1 commit into

PreTeXtBook:masterfrom

rbeezer:reserved-id-audit

Jun 5, 2026

Commits on Jun 5, 2026

XSL: refresh reserved HTML-id list and check both @xml:id and @label

rbeezer
and
claude
committed