@realDonaldTrump, the Twitter feed that grew from the random musings of a reality TV star into the cudgel of an American president, has died. It was not quite 12 years old.