I know there was a discussion about distfiles in svn lately, but I missed the central point. What is the right place to put them now, in cases where there is no suitable download location? Should they still live in svn/distfiles or elsewhere? Florian -- Florian Ebeling florian.ebeling at gmail.com