Five minutes to spare.

Just finish with my introduction course to the Irish political system, and during that lecture a quite interesting coinsidence appeared in front of me. We had just finished the talks about the 1916 revolution, the IRA campaign 1919-1921 and the Civil War in 1922-23, when our lecturer started teaching us about the Irish presidents authorities and "powers", and finaly that the post in decades were subordinated the English king (wich de Valera and his staff keep as a secret to the public) and that the title itself also made a lot of discution and did in fact create quite diffucult diplomatic issues. The Irish did in fact untill the Good Friday Agreement elect the President of Ireland, wich upset the British who saw that as a attempt to indicate that the president also was the president of the North, therefor they did only address the president in Dublin for "President of the Republic of Ireland". A story says that when Mary Robinson did go to London for the first time during here presidency to try to ease the diplomatic tentions between Ireland and the UK there were a hard to find a way to address here, since neighter of the parts did accept the other's titulation (Mary Robinson, president of Ireland vs Mary Robinson president of the Republic of Ireland),they ended up with a compromise; the Irish president. But, it's told that late during a official dinner, unkown location, it could have been 10 Downing St or Buckingham Palace, that the British Prime Minister John Major (Conservatives) told the rest of the attendings that he was pleased to dinner together with the president of Ireland. Quite embarrassing for Major, quite entertaining for the Irish.
Anyway; after the GFA some changes were made in the Irish constitution, and the country did in fact change name from Ireland to the Republic of Ireland. Wich may be shorted to RoI. Therefor, did UK finally get the Irish to accept a new Roi?