Via https://github.com/w3c/strudy/pull/664#discussion_r1721725062 Issue https://github.com/speced/respec/issues/3200 is fixed. Is the workaround in the dfns logic still needed?
Via #664 (comment)
Issue speced/respec#3200 is fixed. Is the workaround in the dfns logic still needed?