I've found reference to a few tunes, including Richmond Ball, A Trip to Richmond and Richmond Hill, and wondered if there's any clue as to which town these were named after. I know there's some debate about whether the song The Lass of Richmond Hill referred to the Yorkshire town or its Thames namesake. There might not be a conclusive answer, but I was curious to know if these tunes are northern or southern (or American!) in origin