You're right, although it is systems.cs.columbia.edu specifically, so it's just a group within a department. If they're anything like my old research groups, the web server is just an old box or a Xen VM that's about to be retired, since people mostly aren't hammering the server daily.