NFS scratch

The NFS scratch server (/nfsscratch) was down for about 20 minutes today, from ~4:30PM to ~4:50PM.