ContextProvider correctly loads cross-module contexts now

...according to the Navigator context list