Apologies for the board being briefly offline -- this was a networking problem at one of the large Dublin network exchanges, not a problem with the board itself or the hosting provider. It began around 3:35 this afternoon GMT and was resolved about 15 minutes later and all came back online. Just in case anyone was wondering what happened there! I only just got the update from the hosting service.