I think that it would be fine and mode consistent to jump from the Lib module to the Dev module as soon as a command shortcut is specifically assigned to a Dev fonctionnality.
For instance stroking "Y" for the before/after comparison in the Lib module (loop view) is not accepted, we have to first stike D and then Y. And I use this sequence a lot.
The behaviour is different with some others shortcuts: from the Lib module Shift-V (french layout, I guess it is Shift-W in english) leads directly to the Dev module and opens the mask panel, and it is fine this way.
Thank you.