So... relaunch or no?

I would say just relaunch and call it a day. Everyone either stopped mining or is so screwed up it doesn't matter anyway.