some maybe-useful scripts.