For context, there was a discussion recently regarding the change of the official (english) name of the country: https://news.ycombinator.com/item?id=32066453

For context, there was a discussion recently regarding the change of the official (english) name of the country: https://news.ycombinator.com/item?id=32066453 https://news.ycombinator.com/item?id=32066453