Shinji's upgrade

Shinji went offline for a few hours, during which most of its hardware was upgraded, as well as its software. Due to some minor trouble with the new kernel and network interfaces, it took longer than planned and the server was down for about six hours. It’s running fine, now, and will hopefully beat its own record of 280 days up and running. Though few resources are hosted on Shinji anymore, we still apologize for that downtime and any potential inconvenience it caused.