Is http://www.getdeb.net/ down?
Just went to check for updates and getdeb fails. Curious if it's just me or everyone.