minor bug in ABNF of 4.3.1.2

Hi,

As I was experimenting with abnfgen  [1] as a way to automatically check
ABNF productions in W3C specs, it signaled the following bug in the ABNF
used in 4.3.1.2 of the current draft of the HTML5 spec [3]: the octets
range for the not-* definitions should be written as "%c##-##" according
to RFC 5234 [2], thus should read as:
not-newline   = %x0000-0009 / %x000B-10FFFF
                ; a Unicode character other than U+000A LINE FEED
not-star      = %x0000-0029 / %x002B-10FFFF
                ; a Unicode character other than U+002A ASTERISK
not-slash     = %x0000-002E / %x0030-10FFFF
                ; a Unicode character other than U+002F SOLIDUS
(removing the "%" from the 2nd part of the range)

HTH,

Dom

1. http://www.quut.com/abnfgen/
2. http://www.ietf.org/rfc/rfc5234.txt
3.
http://dev.w3.org/html5/spec/Overview.html#inline-documentation-for-external-scripts