> Other then that, this text is fine with me.

Thanks, Eli. I incorporated your suggestions and checked the patch in.
It occured to me that I should have proposed a NEWS entry as well:

2008-04-03  Joel Brobecker  <brobecker@adacore.com>

        * NEWS: Mention new commands set/show multiple-symbols.

OK to commit?

Thanks,
-- 
Joel