> I wonder whether the latter four knowingly made the error of addressing former president and president-elect Trump as “President Trump”.
While he's correct here in a strict sense, in practice, it's common to address former presidents in that manner
https://emilypost.com/advice/addressing-a-former-president-o...
See the part about informal settings