use less political country names on metrics pages

Some of the country names we use on the metrics pages make us sound very political.

Top examples include "Islamic Republic of Iran", "Democratic Republic of the Congo", "Democratic People's Republic of Korea".

We should replace these names with the simpler names that many people expect, in the case of Iran.

I'm not sure if "North Korea" is less political though, so there are still some landmines to navigate here.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information