This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Section 2.4.1 defines step "skip White_Space characters" but this step doesn't seem to be used anywhere in the spec. I think it should either be used or removed. Applies to both HTML5 and HTML5.1 specs.
Fixed in 5386724 and ffc0ccc, thanks!