'Error updating' infoview error in fresh install on Windows 10

[mhuisi]

This occured on the Lean Zulip. There's a good chance that this is not an extension error.

It's worth investigating whether we can somehow trigger this error on Windows.