5 ms·

Thanks for this. I went through the article again and it doesn't even hint at that usage. I suppose it's a bit like "America" coming to mean just one country.