You did a great job on this though, OP. It’s difficult to explain to non-nationals with no idea of the history, so this is very helpful

Exactly - that’s it’s proper name and how it’s distinguished from Northern Ireland since they share the land mass of Ireland

Just that - shorthand for Great Britain. Easier to use when you don’t think it’s so great, like if you live in the Republic of Ireland!