I have several hundred MIDI files on my Mac, all ending in .mid. I tried changing the extension to .midi with the same results. - I can drag them into iTunes, they show up and sync to my iPad, but Notion does not display them on the main screen. - I moved them to Dropbox and allowed Notion to have a...