Add Robert Harder's sourceforge repo.