The World Tunnel Congress 2023, held from 12 to 18 May in Athens, was a joyful and varied affair. From…