One tune collection with a tune named
Devlin’s

Also known as Devlin’s, Devlin’s Favourite.