The server that hosts the Forum had some trouble, and was down for about half an hour from just before midday.
Apologies to anyone who was affected.
Forum problems, 13 April 2016
Re: Forum problems, 13 April 2016
Update: it seems that it was network problems, rather than the server itself. Not that this makes any difference to most people!