Does GitHub have any idea what to do with ChordPro files?