The domain tuxppc.org is no longer parked by GoDaddy.