Comment by BalinKing

I’m dubious—I’m an American who knows comparatively little about the Troubles and yet have always thought “Republic of Ireland” was the official name. I certainly use it fairly often, completely innocuously, to distinguish between it and Northern Ireland. I probably picked it up from the Wikipedia article, which prominently lists them both as common names.