Peter Harden of Harden’s Guides told me just before the launch of the 2023 UK edition that he had “two big takeaways this year. One is that the price per head at restaurants around the country has doubled since Brexit.” Doubled! Of the 2,800 restaurants …