Hello Steve,I really didn't check lately, if the doc advanced to PR already, I'll be working on the PR now. Thanks!
Anyway I will have to run a diff later for the REC to be sure everything is in place and I have a look at the repository from time to time.
I will use the bug tracker from now on. Thanks again Stefan the use of 'HTML 5' appears to be a bug, the best thing to do is file a bug https://www.w3.org/Bugs/Public/enter_bug.cgi?product=HTML%20WG&component=HTML5%20spec&priority=P3
