dvModuleRegistry top-level property
The process-wide module registry.
DV.Modules is this object rather than one of its own: a second registry
would be a second answer to "what was this module mounted as", and the
two would agree until the day they did not.
Implementation
final DVModuleRegistry dvModuleRegistry = DVModuleRegistry();