Perfect, thanks!
For anyone else confused, the exact sequence with Dropbox was to select the file, select the 3 dots ( ... ) menu, "Export", "Open In...", "Copy to MIDI Designer".
Perhaps some reference to this process could be added to the MIDI Designer manual? As a lifelong, deeply nerdy computer nerd, this was significantly counterintuitive.