v2.1.0+coq8.19

What's Changed

• Various adaptations to Coq 8.19 by @SkySkimmer, @herbelin, @ppedrot, @proux01
• Fix font-size in Coq Goals by @LittleJianCH in #704
• Run vscoq.path as a shell command from the project directory by @afdw in #715
• Coq 8.19 by @gares in #702
• Correct server crash when hover over first word. by @rtetley in #721

New Contributors

• @herbelin made their first contribution in #601
• @ppedrot made their first contribution in #685
• @proux01 made their first contribution in #681
• @LittleJianCH made their first contribution in #704
• @afdw made their first contribution in #715
• @CohenCyril made their first contribution in #717

Full Changelog: v2.0.3+coq8.18...v2.1.0+coq8.19