is it possible to notify more than one user using notify_user (without
setting up a dedicated mailing list)? What's the proper syntax? man
condor_submit doesn't give a hint...
Yes, is it possible: just list each email address, with commas between the
email addresses.
I'll make sure that the manual is updated to point this out before the next
release is made.