Off topic: I just learned a couple weeks ago that Czechia and Czech Republic are both acceptable names for the country.