> Could it be that
>
> https://lsr.di.unimi.it<https://lsr.di.unimi.it/>
>
> Is down already for a couple of days.
>
> Where to address this, so it may be solved?
I've CCed Sebastiano in this e-mail; hopefully, he can have a look.
Unfortunately, he will no longer be able to maintain the LSR after
December 2025 or so, and if his currently used, old hardware breaks,
LSR is gone even earlier.
We want to retain the LSR but we haven't yet worked on a solution how
to achieve that. Ideally, we find a White Knight who is willing to
run the LSR as-is for the time being (since this is the least amount
of work, we estimate), with various improvements to be done
afterwards.
If you want to be that White Knight, please contact us and Sebastiano!
Werner
