Is Lsr.di.unimi.it down?

Checking server. This will only take a few seconds...