@refautomaticsectiontitle
would be better since it applies to all the @*ref commands and @ref seems
more generic than @xref?
I thought about that too. Maybe. I'm not sure. We seem to use "xref"
to generically mean "cross-reference" in other cases. For instance, the
whole cross-references chapter is basically written around @xref, and
then describing the others in terms of how they differ. And "xref" does
somehow distinguish Texinfo cross-references from other kinds of
references, namely url "references" via @uref/@url.
I dunno, I can go either way. Wdyt?
