FYI MetaMIDI Dataset is the best (I found). you can request access here https://zenodo.org/record/5142664 if you haven’t already.

Lakh MIDI Dataset https://colinraffel.com/projects/lmd is smaller but directly downloadable