Join GitHub today
[meta] use an HTML comment to avoid auto-dfn-linking #1731
jmdyck left a comment
It seems like it would be preferable to modify ecmarkup to either:
On the other hand, I can see that this hack is less work. (Assuming there aren't many similar cases.)
Of the two versions, the embedded-comment version is at least explanatory.