Les in Chorlton

How do they do that then?

If that really was a technical question, the links to individual tunes point to a MIDI file of the tune. The machine generally finds a way to play it. For download, the tunes are zipped into packages of thirty or so in ABC, Noteworthy and MIDI format.