Karl: Could we organize something on the tug server (depending on the
space we already use ... sorry for that)
Space isn't the problem. Bandwidth is.
Are any Debian users who use the TL packages really hitting tug?
Is that a lot of people, or a few?
Don't you Big Gun distributions have servers that could be used :)?