I looked through our notes and nothing has been sent in but what I have found is generally people are adding in their own longitude and latitude information to create their own city information when they want the specifics.
It is not just that the UK cities seem to be split up in various ways but if you are in the UK you cannot edit or add a city at the correct time, because the GMT (UTC) time setting does not work - it reverts to the first setting in the list, which is Kabul time GMT+4:30 hours. All UK cities are set to this time, as are those in Portugal, Morocco, Sierra Leone and others that should be on the GMT time zone.
You can set one of these cities to +1.00 or -1.00 hours but that is the closest you can get. This applies to any city in the world - nothing can be set to GMT
I am just guessing but all the time zones listed as UTC only (London, Casablanca, Monrovia) do not have a plus or minus X hours - for obvious reasons, as they are 0 hours but maybe the code behind is the same. If it was set to +0.00 hours it may be OK or mabe it is but you cannot add or take away zero, so the code does not work - just a thought - one for the programmers obviously.