Various scripts one occasionally finds useful ...