read HTML attributes from HTML spec directly; update links to HTML spec
update