document random-seed option in usage()