Editor : doc and test for `navigateTo`