Re: Index entries for "@command" & Co.

    There is the issue of leading and preceding spaces
    for @sortkey{..}.  Do we say something explicit on those?

We'd want to ignore such spaces, I think.

And of course we would expand Texinfo commands within the ...
as we do internally to construct the sort keys now?

k