+#hmmm: oh good, and we should always bug people about nothing having been done?
+# this is especially tiresome when our own scripts cause safedel to be invoked,
+# since then they are automatically noisy and blathery.
+#hmmm: make this into a debug option.
+# print "No files were deleted.\n";