Pleasantly surprising to see. In all the universities I've experienced recently, the trend is strongly in the opposite direction. One of the admins' bio on the MIT instance states that they're at math and comp sci major at MIT, so I wonder how "official" it is? If I'm interpreting the MIT IT page correctly[0], *.mit.edu hostnames can possibly be registered by students? In which case it's not clear if it's run by MIT or by some students who happened to request that particular hostname.

[0] http://kb.mit.edu/confluence/pages/viewpage.action?pageId=15...