Here are miscellaneous tiny scripts.