(Первоначально я опубликовал этот вопрос. Извиняюсь за использование StackOverflow, а не SuperUser - теперь я оцениваю ошибку своих способов.)
Это оказалось временной проблемой. Я попробовал те же шаги снова пару дней спустя, и он отлично подключился к серверу Folding @ home. Очевидно, в первые несколько попыток мне не повезло.