bug#69709: `sort` interface improvement and universal ordering predicate

[Eli Zaretskii]

> From: Mattias Engdegård <mattias.engdegard@gmail.com>
> Date: Fri, 29 Mar 2024 17:13:33 +0100
> Cc: monnier@iro.umontreal.ca,
>  dmitry@gutov.dev,
>  69709@debbugs.gnu.org,
>  gerd.moellmann@gmail.com
> 
> 29 mars 2024 kl. 16.35 skrev Eli Zaretskii <eliz@gnu.org>:
> 
> > Makeinfo can handle @code{@var{..}} just fine, we have that in many
> > other places, so that's not a concern.  It is indeed possible to use
> > @asis in @table, and then mark each @item with @code, but that's just
> > too much trouble; "@table @code" exists to save us that...
> 
> Looking at the PDF makes me think that we should decide whether we prefer
> 
>   @code{:keyword @var{variable}}
> 
> or
> 
>   @code{:keyword} @var{variable}
> 
> in general. I can think of arguments for either but consistency would be even 
> better.

The former is the correct one.