Re-name links to numbered elements

Any reason this isn't in the selector above? The browser is probably quicker at filtering than JS.

Something like `a[href^="#"]:not([data-type="footnote-ref"]):not([data-type="footnote-number"])`