@whitequark The problem was more the provider being slow replacing the server.
Thesedays I’d just spin up another VM, this was quite a few years ago where “cloud” was less common.
Also for personal stuff operating at the budget end of the market didn’t help.