-## DL - download
+## DL - downloads
downloads.sv.gnu.org does not exist. That's why I used "download".
The more repetition of the actual server names, the better, seems to me.
+ **NOTE:** The official `ftp.gnu.org` server is not managed by GNU
Savannah
+ administrators. This is just a mirror.
It's not a mirror in the usual sense. It is a multiplexor address. As
far as I know the actual content of ftp.gnu.org is not mirrored to
savannah anywhere. (Just fencepost.)
+- Other Server-Aliases (TODO: what are these used for?)
They are the names for the Apache configuration to make the multiplexors
work. I don't think there's a reason for people to use them directly.
As you know, see [[Mirmon]] where I wrote down all kinds of details of
how the multiplexors work.
+- GNU Arch repositories:
Might mention that GNU Arch is obsolete and (so far as we know) unused.
Thanks,
K
