Some technical difficulties

Our ISP had experienced some routing issues during the night and selected traffic was being cut off. The issue has been supposedly mended and hopefully the service won't be interrupted again. We were hence down for around 8h. Thanks for bearing with us.