We should make it explicit in the docs that if the pidfile option is omitted then a pid file will not be generated.