Some of you who are regular visitors have undoubtedly noticed that there have not been very many new post here of late. I’ve been pretty tied up with a sort of short-term crisis project, and we also had a couple of hardware failures to deal with here.
The good news is that, as far as we can tell, there was no permanent damage done, and we are, I hope, back in business. Some of the posts you will see in the next day or so were actually written (mostly) a bit earlier. I am doing my best to check that links still work, and so on; I hope you will forgive any that I miss.