[lsp] doc ExecuteCommand.kt with links to LSP spec

GitOrigin-RevId: 5fd426cea59e55f8e68c2e166c6c3d86db69460e

fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/ExecuteCommand.kt

@@ -4,6 +4,9 @@ import kotlinx.serialization.Serializable
 import kotlinx.serialization.builtins.serializer
 import kotlinx.serialization.json.JsonElement
 
+/**
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#executeCommandOptions">executeCommandOptions (LSP spec)</a>
+ */
 @Serializable
 data class ExecuteCommandOptions(
     val commands: List<String>,
@@ -12,6 +15,8 @@ data class ExecuteCommandOptions(
 /**
  * Represents parameters for executing a command.
  * Extends WorkDoneProgressParams.
+ *
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#executeCommandParams">executeCommandParams (LSP spec)</a>
  */
 @Serializable
 data class ExecuteCommandParams(

fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt

@@ -764,6 +764,9 @@ sealed interface WorkDoneProgress {
     }
 }
 
+/**
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workDoneProgressParams">workDoneProgressParams (LSP spec)</a>
+ */
 interface WorkDoneProgressParams {
     /**
      * An optional token that a server can use to report work done progress.