I think I have a report of a stale pid file that ends up pointed at a different process after a reboot. How would people feel about changing the management code for the .pids directory so that it’s a symlink into /var/run?