On the right, my shiny new Global Health Insurance Card, which does much the same job, even after Brexit (except in the other EEA countries - Norway, Iceland, Switzerland and Liechtenstein) - not that there's much prospect of foreign travel any time soon (though let's hope there will be before this card expires in 2026).
The "Global" monicker is a nod to reciprocal health agreements with some other countries around the world. These have existed for years already, and to take advantage of them, existing documentation seems to have been enough: the government makes no actual claim that the new card is proof of entitlement under those agreements (and even says it isn't proof that one's entitled to use our own NHS).
So what we have is a distinction without much of a difference. Except that the distinction is having a Union Jack on it. And that makes all the difference, apparently. Cheers, Boris.