[Python-Dev] Default SIGINT handling dangerous?