Web174 has just gone read-only and we’re taking it down to run fsck on it.

[Apr 17 05:29] The server is back and OK now.