For a while now, I'm getting the following error when I try to ssh into
ssh: connect to host sage.math.washington.edu port 22: Network is
This is from the computer in my office, on the UW campus. I can
successfully log in to boxen and from there to sage.math, so I can work
around it, but I wonder if something is misconfigured somewhere.