Eli Zaretskii <eliz@gnu.org> writes:
>> 
>> @xref seems to be generating lowercase "see" for me, perhaps because I'm
>> using makeinfo 4.13?
>
> Unlikely.  Are you looking at the file in Info, or as plain text?  The
> former has its own ideas about how to display cross-references; I
> meant what is actually in the file.

I was looking at the file in Info-mode.  Looking in fundamental-mode, it
seems that @xref generates an uppercase "*Note", where @ref generates
"*note".

Anyway, here is the final(?) patchset: