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