Re: shell-command - missing shell-quote-argument for program?

[Richard Stallman]

    > The comment should explain HOW the code refers to this variable,

    That's already explained in the doc string for shell.

That explanation isn't in the right place, and doesn't mention the
name explicit-bash-args.  People looking at the definition of
explicit-bash-args have no way of finding it.

I went to add a comment, but saw Kim Storm had already added what we
need (thanks, Kim).  Please take a look, and then you'll understand.