Hello Tom,
>>> I didn't think there was much point in linkifying both in that case,
>>> and other similar situations.
>
>> The point is that the user reads a sentence, attempts to jump but
>> sometimes can't, because the is not the first occurrence. I'd go for
>> all mentions of another relation should be link.
>
> That has not been our practice up to now, eg in comparable cases in
> discussions of GUC variables, only the first reference is xref-ified.
> I think it could be kind of annoying to make every reference a link,
> both for regular readers (the link decoration is too bold in most
> browsers)
Hmmm. That looks like an underlying CSS issue, not that links are
intrinsically bad.
I find it annoying that the same thing appears differently from one line
to the next. It seems I'm the only one who likes things to be uniform,
though.
> and for users of screen-reader software.
I do not know about those, and what constraints it puts on markup.
--
Fabien.
