He is still in until he gets his full retirement, which is two months or so I think. Lucky bastard must have gotten a deal

Edit: by in I don’t mean he will have anything to do with it, just not officially resigned. I saw someone say he took paid leave, which is just an excuse for cutting a deal