> I definitely agree that robots.txt is not the way to convey the limitations of a source forge.
I don't see why it's not the correct place to state that one does not wish non-human-initiated traffic. If I understand the situation correctly, the whole issue is about traffic that's not initiated by a request to proxy.golang.org.