@wfm Unfortunately, the phrase “Summer in Dublin” reminds me of a horrible mawkish song with that title that was played everywhere in the early 80s (by Bagatelle, if my memory is to be trusted). Not your fault: I suffer from earworms.