Android: More work on the new MobileNavigationManager.