Overview missing in VSCode Marketplace

[bryangingechen]

Description

The lean4 extension page on the VS Code marketplace says: No overview has been entered by publisher.

Here's what it looks like when searching from within VS Code:

I'm guesssing the main README file from this repo would be suitable as an overview for the extension, but the file isn't being included in the .vsix file that is being published.

Expected behavior: The README file from this repo appears.

Actual behavior: See above.

Impact

People might be suspicious of an extension with a blank overview.

Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.

[mhuisi]

We have a new README that refers to the setup guide and the manual now and it is displayed in the VS Code marketplace.
(#501, #502, #503)