all go

WFH. A bit of a semi frantic day: yesterday our central filesystem threw a wobble which hadn't resolved itself. So we spent the morning switching more and more things off that didn't quite work anyway. In the end we found the right setting and we managed to get everything to work again. We certainly learned a lesson and more work required. I did end up cancelling two meetings. I managed to go for my walk in the evening.