4/3     SSH is being flaky. We are working on the issue. Please be patient.
        In the meantime, we suggest using screen. Soda's ssh key has been
        changed, sorry about that (ssh was restarted, as well).
        We will post more as we work on the problem.
        Thanks, students-not-in-class - edilaic