Updates based on comments from Paul Cotton (as HTML WG co-Chair)