Fix the --source-quietly option to the driver so that it actually works.  Clean up the help
output a bit.