Yeah my use case is unfortunately the latter. Maybe the out-of-band cleanup you suggest might be something like a simple daemon which is invoked with `$$` and

Yeah my use case is unfortunately the latter. Maybe the out-of-band cleanup you suggest might be something like a simple daemon which is invoked with `$$` and `path/to/myscript.lock`. Which would then poll for the presence of a process with the given PID and deletes the lock file.