Glad to be helpful. I was just thinking that this is really quite a useful feature of HTML, and browsers should expose it to the user somehow. Then I found th

Glad to be helpful. I was just thinking that this is really quite a useful feature of HTML, and browsers should expose it to the user somehow. Then I found this Firefox extension: https://addons.mozilla.org/en-US/firefox/addon/generate-links-for-headers/ https://addons.mozilla.org/en-US/firefox/addon/generate-link...