Yep, you're right. I've just made a test with my APCmini.
In my opinion, Daslight should not block any MIDI device that is NOT selected in the preferences at startup, but just leave it available for any other application requiring it.
Maybe a topic for the development team ? @TomHat