This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
3.3.8 Extension Option [1] para 3 "The QName of an option" Insert "extension" before "option".
Done as proposed. /Jochen