Re: spaces after command name

[Karl Berry]

    IGNORE_SPACE_AFTER_BRACE_COMMAND_NAME

I guess we don't really have a technical term for commands that take
braces.  So this seems as good as any.  My last tweak would be "BRACED"
rather than "BRACE".  Though neither is fully correct, seems close enough.

Can you please add an entry to the manual in the right place and I'll
review the text as usual?

Thanks,
k