Re: [bug #11700] rfe: diagnose references which produce wrong title in pronted output

[Karl Berry]

    @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?