Edinburgh festival-goers and lighthouse