Fix ancient Windows bug whereby profile editing can hang waiting for an ...

...already exited Python profile editing window