DigitalOcean was down!

Our servers are hosted with DigitalOcean, they really have a good service, but today they were down for some hours.

This downtime might have affected some CMSs but NEVER affected any paysite.