Perhaps we should emphasise that using /var/run is considered best practice as pid files are removed on startup.