This section is out of date, and should get folded into the command-line options discussion above.