DNS issues with LSR

[Aaron Hill]

Hi folks,

Who is the contact point for the LSR, more specifically the individual 
responsible for their DNS?

There has been a long-standing issue with their name servers that 
prevent services like CloudFlare from reliably resolving records.  But 
now things are worse, and it seems that lsr.dsi.unimi.it is no longer a 
valid domain.  It used to be a CNAME to the A record 
sliver.docenti.di.unimi.it.  CloudFlare and Quad9 both fail resolving 
either the CNAME or A records.  Google can resolve just the A record, 
which currently reports as 159.149.136.4.  Using that IP address 
directly, I can access the LSR; so it seems the web server itself is up 
and responsive.  But these DNS issues need to be looked at.

On a semi-related note, would it be possible to get a mirror of the LSR 
hosted somewhere like GitHub?  Or does such a mirror already exist where 
one could `git clone` a local copy of the LSR?


-- Aaron Hill