The cowboy song about The Sierra Peaks I heard Jack Elliott sing as Rusty Jiggs & Sandy Sam, who humiliate the devil by roping & branding him.
I seem to recall a song from Somerset about a stone circle called The Nine Maidens, Turned to stone by the devil for dancing on Sunday.