Not really my circus, but fair play to him for stepping aside cleanly. US politics feels like a different planet most days.