The problem has now been resolved and normal service has resumed. Thank you @digitalocean for fixing the issue and keeping us updated.