This release is identical to 0.16.58. It just updates the README on the VS Code marketplace to reflect that this extension is for Lean 3.
Since I couldn't get this extension to build anymore in order to release it regularly, this release was created by patching the 0.16.58 .vsix with the new version and the new README.md.