Document which command-line options to add
Seed random generator with current process ID
Use os.TempDir() for lock folders