Re: Page Numbers in @ref

[Gavin Smith]

On Mon, Nov 16, 2020 at 07:35:28PM +0100, Christopher Dimech wrote:
> So currently, having page numbers with full page description remained.
> I fail to understand because the new possibilities are not difficult to
> do, yet refuse the change for those who require them.  In writing
> mathematical tables, the problem of limited space is real.  Have no
> doubt that the abbreviated possibility would not freak people out to
> something awful.

Only options that many people are likely to use should be provided.
It's not clear that anybody but yourself would use an option for the
notation that you suggest.  I don't want to include lots of options
for highly-specific use cases: this is a burden for the future.
You are free to implement the formatting that you want yourself in
texinfo.tex (or ask somebody else to do it for you) and use your
patched version instead, but the official version has to take into
account all users and whether options are generally useful.