minor: Make PID file examples in OpenSim and Robust config somewhat more meaningful than just /tmp/my.pid