Remove `updating` case.
Remove `updating` case.

This is because otherwise it can be jarring when the UI flashes between 'no info' and 'updating' if lots of update triggers are in the air.

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