Subject: [bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 14 Nov 2022 10:18:23 +0100

Hi,

Maxim Cournoyer <[email-masked]> skribis:

> Contrary to what the Texinfo manual says, pxref seems to be the one
> introducing the awkward "*note" verb in the resulting info.

If you read it in Emacs, it looks a bit different; I think info.el adds
removes “note” and adds “see” in some cases (e.g., see
‘Info-hide-note-references’).

Ludo’.