MIDI Device File Repository?

I’m happy to hear there’s an import/export option but I simply can’t find it.

In MIDI Device Manager, I see just five buttons: Install Device, Remove Device, Export Setup, Import Setup, and Open Device. Three of those are pretty intuitive, but as far as I can tell, Import Setup and Export Setup serve to backup your entire configuration - not individual profiles. How do I add profiles to the list that appears in Install Device? Or is it done some other way?

Thank you for your assistance!