Fix regression where info at position was not showing updates.
Fix regression where info at position was not showing updates.

I thought I could remove MessagesContext.Provider but I couldn't.

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean