re: #208 HappyWarrior

I honestly don’t know. It’s been so long since a President stepped down after one term.

Lyndon Johnson was the last IIRC.