All services have now been re-keyed following the Heartbleed bug discovered in OpenSSL. Apologies for the brief interruptions to services at very little notice.