(Eu postei essa pergunta inicialmente. Pedimos desculpas pelo uso do StackOverflow em vez do SuperUser - agora eu reafirmo o erro dos meus caminhos.)
Isso acabou sendo um problema temporário. Eu tentei os mesmos passos novamente alguns dias depois, e ele se conectou ao servidor Folding @ home muito bem. Evidentemente, tive excepcionalmente má sorte nas minhas primeiras tentativas.