Coq 8.9 gives error

[varosi]

Coq 8.9 gives that error:

coqtop-stderr: Don't know what to do with -ideslave
See -help for the list of supported options

Client connected on control channel W (port 57941)
[Warn - 17:31:03] >>> Unknown version of Coq: 8.9.0; falling back to 8.6

Call Init()
[Error - 17:31:03] Error: Error: read ECONNRESET (main channel W)
onCoqClosed(Error: read ECONNRESET (main channel W))
coqtop exited with code: 1
coqtop closed with code: 1

[Zimmi48]

As mentioned in the README, this version of Coq is not supported. You should use the fork at https://github.com/coq-community/vscoq, released as https://marketplace.visualstudio.com/items?itemName=maximedenes.vscoq.