expand a bit the in-GDB help for the "catch exception" help text