2016-08-23 19:24 UTC: Several minutes ago, Web380 became non-responsive under heavy load, so we rebooted it. The machine is back online at this time, and we are monitoring for further signs of trouble.