My investigation on the validation issues in some pull-requests

Hi all,

I mentioned during the last call that my PRs got validation errors that 
I didn't understand. They are not in the source document, but in the 
HTML produced by Respec.

I dug a little, and found two different causes for these errors, which I 
submitted as issues on the Respec repo:

- https://github.com/w3c/respec/issues/3584

- https://github.com/w3c/respec/issues/3585

The first one seems to be a Respec bug, and will hopefully get fixed 
eventually (and it generates only warnings).

The second one generates errors (IDs that are both an empty string, and 
duplicates!), and is actually github's fault: the problems are in the 
HTML description of issues, that we include in our report. We can get 
rid of them by solving the issues and removing them from the doc ;) For 
issues that are meant to stay longer, I'll try to massage the issue 
description to get rid of the errors.

   best