Now that the U.K. is opening up, is anyone planning a London theatre trip this summer? Many shows are currently on the boards in the West End. The new vaccination policy for non-British citizens is not clear to me. Anyone have advice or clarification?