[setr]

I don't like the terminology either but I wouldn't call it a highlighting service. I think with low and sporadic usage, it wouldn't amount to much more than highlighting, but if it actually became a standard thing, it would make for a decent improvement over current hyperlinks

Specifically in that it pushes for first-source references, if only by making hyperlinks more useful in that regard.

Its obviously derived from reading up on Xanadu, but its also probably not going far enough to be worth noting