I have a friend whose current ambition in life is to, quote, "know more hop jigs than anyone else in Cincinnati". I was wondering if I could be supplied with a list of the names of all the hop jigs you know; they’re fun tunes. A link for a discussion on hop jigs is provided; but all he wants here is a sparse list of tunes (e.g. no superfluous or even non-superfluous comments). I’m not sure if I spelled ‘superfluous’ right, but there you go.