William D Clinger <xxxxxx@ccs.neu.edu> writes:

| Within the next few days, I will submit a pull request
| containing a revision of the HTML as well as the updated
| reference implementation.

Thank you.

| Incidentally, the use of paragraph-sized lines in the HTML
| makes the GitHub diff so hard to read that I had to resort
| to re-reading the entire specification and comparing it to
| the implementation in order to find out what's changed.
| My pull request will first shorten the lines in that HTML
| file without making any substantive edits whatsoever.
| That's so the GitHub diff will display the substantive
| edits in a more useful manner.

That makes sense.

When you do that, please make the change in a separate
commit so that it's easy to see which changes are
substantial and which are just line wrapping.

Thanks.