Wow, @Chouf1, quick reply! Thanks.
You would seem to be right – just tried it on another machine (yep, should have done that before!) and all seems fine, apart from the events plugin.
I think I was expecting trouble, given the issue I already have with the events directory not displaying. Could this have been a caching issue? Oh well, I’ll keep an eye out in case it re-occurs.