Verify that the ReSpec changes indeed resolve our HTML issues

Cf. https://github.com/w3c/respec/issues?q=is%3Aissue+Member+Submissions+author%3Apchampin+is%3Aclosed