Is it possible to populate the Chords section from the chords in a ChordPro song? Just take everything in square brackets [] and add them to the Chords section? That would be really helpful.
No, ChordPro doesn't indicate the timing of the chords, and I don't think a plain dump of chord names without any timing info would be useful.