So I'll be in London from 2023-05-19 to 2023-05-21 (at least)
if any mutuals want to meet up
a Schelling point for those who seek one