Add a more helpful message if there is no info but updating is paused.
Add a more helpful message if there is no info but updating is paused.

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