Edit: Oh, I see the links now, didn’t see them when I first wrote the comment.
Apologies, that was my fault. I wrote the comment and then I realized that I was demonstrating poor reasoning transparency, so then I hunted down the relevant links. My guess of chronology was that I had the hyperlinks added in after you started commenting, but before your reply was visible.
Ah, cool, I was really surprised when I saw the links on refresh, but they fit so naturally into the comment that I thought they clearly must have been there in the first place.
Apologies, that was my fault. I wrote the comment and then I realized that I was demonstrating poor reasoning transparency, so then I hunted down the relevant links. My guess of chronology was that I had the hyperlinks added in after you started commenting, but before your reply was visible.
Sorry if that burned extra time on your end. :)
Ah, cool, I was really surprised when I saw the links on refresh, but they fit so naturally into the comment that I thought they clearly must have been there in the first place.
No worries, it cost me like 3 minutes.