My feeling for Derbyshire songs (and I've lived there) is that they fall into categories of the obvious one, old but generic songs localised, mid- 19th century semi- literary or selfconsciously "dialect" compositions on local subjects (paralelling the Oxford Movement "revival" of well- dressing), modern (later 20th-21st century) compositions of a folk- nostalgic flavour (some of my own included), and the King of Rome. There are also songs about mining disasters, in that bit of Derbyshire (actually at least two separate bits) most people prefer not to talk about.

There must be a folk song from Great Hucklow about gliders.