Miscellaneous scripts. Some of them are useful ;-)