Is the CloudDB server down?

(added to FAQ)