You might know already, but both the DNS servers used by laptop.org seem down: ALEVE.MEDIA.MIT.EDU BAYER.MEDIA.MIT.EDU -- Bernie Innocenti | Search Infrastructure