I'll have a look later, but you can use
ReaTrak chords from midi item.lua
to get the chords from progression.mid
Ask them to write the chord names as midi markers in progression.mid