dfns analysis: is the workaround done for Respec still needed?

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?