v8.1.2341
67a2deb9 · patch 8.1.2341: not so easy to interrupt a script programatically ·