Open
Description
Split into issues, github issues, reports and notes.
Should make it easier to support https://github.com/w3c/respec/issues/4097, https://github.com/w3c/respec/issues/3433 etc.
Split into issues, github issues, reports and notes.
Should make it easier to support https://github.com/w3c/respec/issues/4097, https://github.com/w3c/respec/issues/3433 etc.