I see what you mean.  And I don't mind implementing it within the header.  I will make a change to the pull request.  

I have a concern that any permalink should be "accessible".  The one github and the WebIDL spec are using has no content, and I am concerned that Accessibility Technologies will have trouble doing the right thing with them.  I have sent a note to the W3C PFWG about it to get their opinion.