I don’t even get what point you are trying to make. Ulster is the colequiael name for the north, I understand that it doesn’t include all of the traditional counties of ulster but that’s still what many people call it. Much like calling an AR15a military weapon, it’s good enough unless you want an argument on the internet. Londonderry/Derry both in city and county are still officially Londonderry as far as I am aware. A quick google showed the same, I don’t give a toss of they call it leprechaun town, but if you could give a citation to show me its changed I would find it interesting. Tourism Ireland a body funded by both UK and ROI governments in the wake of the GF agreement seem to recognise 4 provinces with Ulster as one of them. https://www.ireland.com/en-us/about-ireland/discover-ireland/ireland-counties-and-provinces/ If this has changed could you please provide a citation?