What if RBG retired? If she is still alive, it would not be unseemly to be excited.
Anyway, I'm getting indications on Twitter that it's that the ISIS leader - Abu Omar al-Baghdadi - has been captured.
No confirmation from Trump yet so could be anything.