[danilafe]

Woah, it's amazing to hear from you in person.

> Gwern.net has it! It's just that because we use both margins already, there is usually not enough horizontal space.

Upon closer inspection, I do. I should say that I have missed it up until now, though. Some sort of selective blindness, probably.

> Chrome has a 'link to text fragment' feature for this which got standardized and which Firefox is supposed to support at some point. So not so necessary as it used to be. (The unique IDs are often not so unique anyway or unstable.)

Thank you for reminding me of this; I stumbled across it some time ago and was quite surprised. I myself use Firefox, so until it adds support for this feature, I don't think I'll be leaning on it myself (and thus will try to provide anchors).

I would say that another microfeature I love is having stable and unique element IDs :-)

> Links.js hasn't been used in years on Gwern.net.

Thank you, I was failed by GitHub search. I will update the post. I struggled to find the Lorem link when looking for it; I would've expected to at least find something on /about, but did not. I understand that it's a test page, but it does currently have the only description of what the icons mean, and as a reader I definitely could've used a description.