【尋ね人】pandaboard.org がつながらない。

筆者の環境でPandaboardの公式サイトがつながらない。

DNSの設定がうまくいっていないようなんですが(当方かpandaboard.orgの)、どなたか事情をご存じないでしょうか
ボードそのものはまだDigikeyでも扱っていて、値段が高すぎですが、性能的には現時点でも十分通用するものです
商品が流通中なのに開発元が消えることは、筆者の経験ではいまだなかったことなので、単なるトラブルだとは思いますが
情報お待ちしています