O sourceforge mudou de cara e está agora todo abonecado. Ainda não passeei por lá muito, mas parece estar pior em termos de usabilidade, ou então, será apenas uma questão de hábito, a ver vamos.