In the meanwhile, in such cases, it's useful to add the domain to https://meta.wikimedia.org/wiki/Live_mirrors and also to the Internal wiki relevant page https://meta.wikimedia.org/w/index.php?diff=747627&oldid=441648 (or whatever page replaced it).
Nemo