About two hours ago I got automated notification that DevjaVu wasn’t responding, just as I was about to deploy some new features. It turns out our DNS provider went down, taking down over 100,000 domains with it, including DevjaVu. Now we’re on several more nameservers.
DevjaVu is still down at the moment, at least for me, but it should be back up as soon as the DNS propagates. You could always resolve it locally in times like these, but you really shouldn’t have to. We’ll be paying more attention to DNS redundancy from now on!