Note for non-British readers: Boris Johnson is the Mayor of London, not the Lord Mayor of London. The latter is a largely ceremonial and supportive role concerned only with the ancient City of London, the square mile containing the financial district.

Left a comment on the original article but it was removed. Disappointing to see such pointless inaccuracy on a website devoted to a subject where nuance and precision count for so much. I could have understood getting it wrong the other way round, but the author - a lawyer educated in the UK - had to actually add a word in to make it incorrect.