I think the point was that HOP included Nixon even though he was impeached. Changing HOP to eliminate Trump would be erasing history even though it is something that half this country seems to want done. This is why I voted for Muppets. I'd rather change it completely than have it politicized.
Nixon was not impeached. He resigned before the impeachment process started.
Keeping this on topic I voted keep it as it is, adding Presidents as usual.