miscellaneous scripts, mostly of the shell variety