@md42 Finally read the news and holy shit. I’m glad to hear it. (Even if it is still awful news, just less awful than the alternative.)