Re: the FTP files

[Richard Stallman]

    > I think we should copy etc/FTP into FTP, and update the web page
    > with whatever information is appropriate.

    Did you mean "move" (and remove etc/FTP) here, or do you want two
    files with the same contents?

Let's keep etc/FTP in case anything points to it.
So we would have two files with the same (tiny) contents.