Split off `Navigator`.