[fungalreason]

Yeah either way is fine with me as well.

I'd prefer rehosting if it won't cause issues, but just continuing with what we have is probably far easier. It's likely whatever caused the server to get stuck might happen again anyway. I imagine everyone has similar small problems with the stale turn.