DevDef will be back shortly, the server has just been upgraded.