random-python. Various Python scripts that have come in handy but aren't important enough to get their own repository