Or they just parse the URL differently. One possibility is to treat mit.edu as equivalent to www.mit.edu, and web.mit.edu to www.web.mit.edu. This is how I did it when I was a kid (and knew absolutely nothing about programming etc.)