This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Richard has made some significant rewording proposals in this section. They need to be reviewed and integrated as needed.
Done.
Closed, no further action necessary.