> Would anyone mind if we mirrored other documentation, such as the > Hurd Hackers > guide, Neal's Installation Guide and FAQ. I fail to see what the point is: they do not get a lot of hits and the primary and secondary servers both have plenty of bandwidth; and each time I go to update one of them, it becomes a lot more work to make sure that all of the mirrors are up to date.