Anyone having problems contacting www.kernel.org? Its url doesn't resolve from either my internal network or from a smart phone's outside cellular network. nslookup, unsurprisingly, responds with a 'request timed out.'