When the National Portrait Gallery swapped out President Trump’s portrait this week, it also edited the wall text.