Merge branch 'topic/doc' into 'master'

Mark code coverage feature as supported

See merge request eng/ide/ada_language_server!1985

Author: eliericha

integration/vscode/ada/README.md

@@ -33,14 +33,12 @@ This extension **does not include a compiler nor additional tools**. Nonetheless
 | | Debug                | ✅ |
 | **GNAT DAS** | | |
 | | Test                | ✅ |
-| | Code Coverage       | 🚧 |
+| | Code Coverage       | ✅ |
 | **GNAT SAS** | | |
 | | Static Analysis     |       ✅            |
 | **SPARK** | | |
 | | Formal Proof        |       ✅          |
 
-🚧 _= The integration of this tool feature in Visual Studio Code is in progress._
-
 ## Getting Additional Tools
 
 For a fully operational development environment you can obtain a compiler and/or other tools from the following channels.