Comment / #3828

Ah! I got that URL from http://sourceforge.net/svn/?group_id=145255. Apparently the "streber." prefix is optional, yet it confuses SVN enough to believe they are two different repositories. It's good you succeeded anyway.