[kruczek]

Well, denotation of the country is Czechy; nobody in Poland would use full Republika Czeska (unless in some official documents). So I guess if the name gets changed, at least Poles won't have to change their convention :)

[Piskvorrr]

I feel that's the point of the change: it codifies actual use.