The Czech Republic should be renamed Czechia | Hacker News Reader