removed lingering imports of hal.navigator