message: Update lean4-infoview/src/infoview/contexts.ts
diff: @@ -10,7 +10,7 @@ import { ServerVersion } from "./serverVersion";
  // Type-unsafe initializers for contexts which we immediately set up at the top-level.
  export const EditorContext = React.createContext<EditorConnection>(null as any);
  export const RpcContext = React.createContext<RpcSessions>(null as any);
  -export const VersionContext = React.createContext<ServerVersion | undefined>(null as any);
  +export const VersionContext = React.createContext<ServerVersion | undefined>(undefined);
  export const ConfigContext = React.createContext<InfoviewConfig>(defaultInfoviewConfig);
  export const LspDiagnosticsContext = React.createContext<Map<DocumentUri, Diagnostic[]>>(new Map());
  