Folks,
I've just tried
http://lsr.di.unimi.it/LSR/Search
and it works fine.
> It may not be a good thing that nobody seems to know who runs and
> manages LSR.
Uh, oh, it was and still is Sebastiano Vigna. This has never changed.
Seems there is a lot FUD around here...
> Should we devote any time to making this a more robust
> situation. given how much people refer to it, and what a valuable
> resource it is?
Please define `more robust'. A temporary outage of less than 24 hours
for whatever reasons is nothing serious IMHO. Additionally, it's a
weekend, and it's quite common here in Europe that university servers
are taken down for maintenance.
On the other hand, a daily SQL dump is available in the LSR download
section, together with a tarball of the used source code; whoever has
JavaScript knowledge should be thus capable to set up a mirror.
Werner