Shorten the quick start a little more by factoring out repeated references
to the mailing list, make some corrections in wording and directories.