v2.0.3+coq8.18

What's Changed

• Working on performance issues of large files. by @rtetley in #679
• Handle cases when document uri is not found in state by @rtetley in #684
• Fix observe id invalidation bug by @maximedenes in #691
• Goal position by @rtetley in #695
• Send a message instead of crashing when filename is invalid. by @rtetley in #696
• Refactor observe id by @rtetley in #693
• Improve hover provider by @dlesbre in #697
• Fix message panel colors by @dlesbre in #699
• Update docs by @tomtomjhj in #694

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