Re: @ref without page numbers

[Gavin Smith]

On Fri, Oct 23, 2020 at 10:40:52PM +0200, Christopher Dimech wrote:
> Dear Gavin,
> 
> You are quite right, if the manual is printed, one needs the page numbers.
> 
> I would be satisfied with an option in which the page number is printed
> as a superscript @sup{page-no} (similar to footnote numbers) next to the
> closing square bracket.
> 
> That is, from this
> 
> Section 1.13 [Intactv-Function], page 11,
> 
> to this
> 
> Section 1.13 [Intactv-Function]@sup{11},
> 
> The would solve the problem, yet keep requirements intact.
> 
> Regards
> Christopher

There's no precedent for this - this looks like a footnote reference.
Would it not be simpler to miss out the page number, as in my patch
here?

https://lists.gnu.org/archive/html/bug-texinfo/2016-11/msg00048.html