NavigateResult:
type NavigateResult = | { ok: true } | { ok: false; reason: "document-mismatch" | "invalid-location" | "unsupported-location" };
Result of navigating the editor to a portable document location.