Update: The new fileserver is online and working now.

Following up on last week’s fileserver problems, we will be swapping in the new server tonight (Wednesday, June 23rd) at 22:00 PST. We expect the outage for users on this fileserver to last about 10 minutes.