v2.0.2+coq8.18

What's Changed

• VsCoq downgrade message by @4ever2 in #633
• docs: fix inconsistencies and syntax error in protocol docs by @tomtomjhj in #648
• Plug reset command by @rtetley in #646
• Fix compatibility with vim extenion by @rtetley in #649
• Add a status bar item by @rtetley in #650
• Various improvements to the webview by @rtetley in #651
• Add support for multiple byte UTF-8 characters by @tlsomers in #664
• do not crash if a Coq sentence raises an anomaly by @gares in #665

New Contributors

• @tomtomjhj made their first contribution in #648
• @tlsomers made their first contribution in #664

Full Changelog: v2.0.1+coq8.18...v2.0.2+coq8.18