Probably prep.ai.mit.edu. MIT does that kind of thing; It’s like tsx-11.mit.edu, the famous US Linux FTP mirror, which was, IIRC, originally Theodore Ts'o pers

Probably prep.ai.mit.edu. MIT does that kind of thing; It’s like tsx-11.mit.edu, the famous US Linux FTP mirror, which was, IIRC, originally Theodore Ts'o personal workstation at MIT.