Added extra cmdline help for SEED.
[git-p4: depot-paths = "//src/minitest/dev/": change = 9862]
prepped for release
[git-p4: depot-paths = "//src/minitest/dev/": change = 9863]