Hi!
I have just reimaged stat1007. The machine is back in a productive state, and we didn't need to do a restore of /srv.
The SSH host keys have changed. I have updated the corresponding wiki page[0] with the new fingerprints. You can also use the utility script[1] to update the keys automagically.
As always, if there is anything out of order, don't hesitate to contact us.
This concludes the updates of stat100{4,6,7} to Debian Buster (T255028).
Best, Tobias
[0] https://wikitech.wikimedia.org/wiki/Help:SSH_Fingerprints/stat1007.eqiad.wmn... [1] https://wikitech.wikimedia.org/wiki/Production_access#Known_host_files