Emerging from retirement to attack Trump was a loser move. He should have accepted his retirement for another few years.
If the “ruthless mockery” of Trump was the best he could do, he should definitely stay in retirement.