but yes, you can also just nuke the directory: that will cause

pantsd

to shut itself down.