Update documentation to mention pidfiles instead of controlcookies.
[tinc] / src / vde /
drwxr-xr-x   ..
-rw-r--r-- 3356 device.c