Re: pxref

[karl@freefriends.org (Karl Berry)]

    If `*Note' is to replaced by `[Ss]ee', 

A dubious desire in the first place, IMHO.

    Karl, I am becoming more and more convinced that you should do nothing.

Good.  That is my plan :).

    Or else they should re-write Emacs Info to use Texinfo files when they

And not call it Info.  Info should remain as it is.

Doing such a thing has been suggested in other contexts.  It amounts to
a new Texinfo parser, so that any changes to the language have to be
propagated there.

A better alternative would be to use the Texinfo XML output, which is
not dependent on the exact Texinfo language, but (is intended to)
preserve(s) all the semantics, so that it can be displayed as desired.
There are some projects doing this now, amazingly enough.

    Here is an @@pxref parenthetically (@ref{Musings on fossil fuels})

I think you used @ref where you meant @pxref.  FWIW, my recollection
(not checked) is that @pxref produces *note, not *Note.

Best,
k