[aduffy]

Since when does anyone post things on sourceforge anymore? It makes me wonder how legitimate this is...

[rgbrenner]

In Jan 2009 when it was created? Plenty of people. Github was about 8 months old at the time.

[jorgenev]

It was posted many years ago

[dbnoch]

I can agree with that. Even if the usernames (and real names) match members from the team, it is still a little suspicious

[olivercameron]

I can verify it's legit (Sebastian Thrun sent this link to me a year or so ago).