It still exists as a valid domain name; the RNC chopped it off at the DNS level. That’s why you can get to it with an IP address.