{
  "name": "vsrocq-language-server",
  "version": "2.3.4",
  "files": [
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Diagnostics/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Completion/RankingAlgoritm/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Completion/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/PrettyPrint/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Diff/Mode/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Diff/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Messages/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Proof/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Memory/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/PointInterpretationMode/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/Mode/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/DelegationMode/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Settings/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ProofState/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/Printing/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/PpProofState/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/RocqFeedback/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/FeedbackChannel/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/DiagnosticSeverity/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/QuickFixData/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/Range/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/Position/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentProofsResult/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentProofsParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentStateResult/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentStateParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/SearchParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/PrintParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/LocateParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/CheckParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/AboutParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/ResetParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/RocqLogMessageParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/ProofViewParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/BlockOnErrorParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/MoveCursorParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/StepForwardParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/StepBackwardParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/InterpretToEndParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/InterpretToPointParams/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/index.html",
    "doc/vsrocq-language-server.lsp/Protocol/index.html",
    "doc/vsrocq-language-server.lsp/index.html",
    "doc/vsrocq-language-server.language/Language/Hover/index.html",
    "doc/vsrocq-language-server.language/Language/index.html",
    "doc/vsrocq-language-server.language/index.html",
    "doc/vsrocq-language-server.dm/Dm/Types/Quickfix/index.html",
    "doc/vsrocq-language-server.dm/Dm/Types/RangeList/index.html",
    "doc/vsrocq-language-server.dm/Dm/Types/index.html",
    "doc/vsrocq-language-server.dm/Dm/SearchQuery/index.html",
    "doc/vsrocq-language-server.dm/Dm/Scheduler/index.html",
    "doc/vsrocq-language-server.dm/Dm/RawDocument/index.html",
    "doc/vsrocq-language-server.dm/Dm/PriorityManager/index.html",
    "doc/vsrocq-language-server.dm/Dm/ParTactic/TacticWorkerProcess/index.html",
    "doc/vsrocq-language-server.dm/Dm/ParTactic/index.html",
    "doc/vsrocq-language-server.dm/Dm/Log/index.html",
    "doc/vsrocq-language-server.dm/Dm/ExecutionManager/ProofWorkerProcess/index.html",
    "doc/vsrocq-language-server.dm/Dm/ExecutionManager/index.html",
    "doc/vsrocq-language-server.dm/Dm/DocumentManager/Internal/index.html",
    "doc/vsrocq-language-server.dm/Dm/DocumentManager/index.html",
    "doc/vsrocq-language-server.dm/Dm/Document/Internal/index.html",
    "doc/vsrocq-language-server.dm/Dm/Document/index.html",
    "doc/vsrocq-language-server.dm/Dm/DelegationManager/MakeWorker/argument-1-Job/index.html",
    "doc/vsrocq-language-server.dm/Dm/DelegationManager/MakeWorker/index.html",
    "doc/vsrocq-language-server.dm/Dm/DelegationManager/module-type-Worker/index.html",
    "doc/vsrocq-language-server.dm/Dm/DelegationManager/module-type-Job/index.html",
    "doc/vsrocq-language-server.dm/Dm/DelegationManager/index.html",
    "doc/vsrocq-language-server.dm/Dm/CompletionSuggester/index.html",
    "doc/vsrocq-language-server.dm/Dm/CompletionItems/index.html",
    "doc/vsrocq-language-server.dm/Dm/index.html",
    "doc/vsrocq-language-server.dm/index.html",
    "doc/src/vsrocq-language-server.lsp/protocol.ml.html",
    "doc/src/vsrocq-language-server.lsp/printing.ml.html",
    "doc/src/vsrocq-language-server.lsp/ppProofState.ml.html",
    "doc/src/vsrocq-language-server.lsp/proofState.ml.html",
    "doc/src/vsrocq-language-server.lsp/lspWrapper.ml.html",
    "doc/src/vsrocq-language-server.lsp/settings.ml.html",
    "doc/src/vsrocq-language-server.lsp/extProtocol.ml.html",
    "doc/src/vsrocq-language-server.language/language.ml.html",
    "doc/src/vsrocq-language-server.language/hover.ml.html",
    "doc/src/vsrocq-language-server.dm/dm.ml.html",
    "doc/src/vsrocq-language-server.dm/completionItems.ml.html",
    "doc/src/vsrocq-language-server.dm/priorityManager.ml.html",
    "doc/src/vsrocq-language-server.dm/log.ml.html",
    "doc/src/vsrocq-language-server.dm/parTactic.ml.html",
    "doc/src/vsrocq-language-server.dm/rawDocument.ml.html",
    "doc/src/vsrocq-language-server.dm/searchQuery.ml.html",
    "doc/src/vsrocq-language-server.dm/scheduler.ml.html",
    "doc/src/vsrocq-language-server.dm/completionSuggester.ml.html",
    "doc/src/vsrocq-language-server.dm/delegationManager.ml.html",
    "doc/src/vsrocq-language-server.dm/types.ml.html",
    "doc/src/vsrocq-language-server.dm/document.ml.html",
    "doc/src/vsrocq-language-server.dm/executionManager.ml.html",
    "doc/src/vsrocq-language-server.dm/documentManager.ml.html",
    "doc/src/index.html", "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Protocol/Printing/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Printing/index.html"
    },
    {
      "old_path": "doc/Dm/Document/Internal/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Document/Internal/index.html"
    },
    {
      "old_path": "doc/Dm/Scheduler/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Scheduler/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Proof/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Proof/index.html"
    },
    {
      "old_path": "doc/Dm/SearchQuery/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/SearchQuery/index.html"
    },
    {
      "old_path": "doc/Dm/ParTactic/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/ParTactic/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Client/StepForwardParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/StepForwardParams/index.html"
    },
    {
      "old_path": "doc/Dm/CompletionItems/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/CompletionItems/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Client/InterpretToPointParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/InterpretToPointParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Mode/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Mode/index.html"
    },
    {
      "old_path": "doc/Protocol/PpProofState/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/PpProofState/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/AboutParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/AboutParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Goals/PrettyPrint/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/PrettyPrint/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Completion/RankingAlgoritm/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Completion/RankingAlgoritm/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/RocqFeedback/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/RocqFeedback/index.html"
    },
    {
      "old_path": "doc/Language/Hover/index.html",
      "new_path": "doc/vsrocq-language-server.language/Language/Hover/index.html"
    },
    {
      "old_path": "doc/Protocol/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/index.html"
    },
    {
      "old_path": "doc/Protocol/ProofState/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ProofState/index.html"
    },
    {
      "old_path": "doc/Dm/Document/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Document/index.html"
    },
    {
      "old_path": "doc/Dm/DocumentManager/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DocumentManager/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/Position/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/Position/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Client/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/index.html"
    },
    {
      "old_path": "doc/Dm/DelegationManager/MakeWorker/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DelegationManager/MakeWorker/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Server/RocqLogMessageParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/RocqLogMessageParams/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/QuickFixData/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/QuickFixData/index.html"
    },
    {
      "old_path": "doc/Dm/DelegationManager/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DelegationManager/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/index.html"
    },
    {
      "old_path": "doc/Dm/ExecutionManager/ProofWorkerProcess/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/ExecutionManager/ProofWorkerProcess/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/LocateParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/LocateParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Goals/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/index.html"
    },
    {
      "old_path": "doc/Dm/CompletionSuggester/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/CompletionSuggester/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Client/StepBackwardParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/StepBackwardParams/index.html"
    },
    {
      "old_path": "doc/Dm/PriorityManager/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/PriorityManager/index.html"
    },
    {
      "old_path": "doc/Dm/Types/Quickfix/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Types/Quickfix/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Completion/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Completion/index.html"
    },
    {
      "old_path": "doc/Dm/DocumentManager/Internal/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DocumentManager/Internal/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/DocumentStateParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentStateParams/index.html"
    },
    {
      "old_path": "doc/Dm/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Memory/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Memory/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/PrintParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/PrintParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Diagnostics/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Diagnostics/index.html"
    },
    {
      "old_path": "doc/Dm/Log/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Log/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Server/ProofViewParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/ProofViewParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/DelegationMode/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/DelegationMode/index.html"
    },
    {
      "old_path": "doc/Dm/DelegationManager/module-type-Job/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DelegationManager/module-type-Job/index.html"
    },
    {
      "old_path": "doc/Dm/ExecutionManager/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/ExecutionManager/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/DocumentStateResult/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentStateResult/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Goals/Diff/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Diff/index.html"
    },
    {
      "old_path": "doc/Dm/DelegationManager/MakeWorker/argument-1-Job/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DelegationManager/MakeWorker/argument-1-Job/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/DiagnosticSeverity/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/DiagnosticSeverity/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Client/InterpretToEndParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Client/InterpretToEndParams/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/PointInterpretationMode/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/PointInterpretationMode/index.html"
    },
    {
      "old_path": "doc/Language/index.html",
      "new_path": "doc/vsrocq-language-server.language/Language/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/SearchParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/SearchParams/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/ResetParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/ResetParams/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/index.html"
    },
    {
      "old_path": "doc/Dm/Types/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Types/index.html"
    },
    {
      "old_path": "doc/Dm/Types/RangeList/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/Types/RangeList/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Server/MoveCursorParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/MoveCursorParams/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/Range/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/Range/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Goals/Diff/Mode/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Diff/Mode/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/DocumentProofsParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentProofsParams/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/DocumentProofsResult/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/DocumentProofsResult/index.html"
    },
    {
      "old_path": "doc/Dm/RawDocument/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/RawDocument/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Server/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/CheckParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/CheckParams/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Notification/Server/BlockOnErrorParams/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/BlockOnErrorParams/index.html"
    },
    {
      "old_path": "doc/Protocol/ExtProtocol/Request/Client/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/ExtProtocol/Request/Client/index.html"
    },
    {
      "old_path": "doc/Protocol/Settings/Goals/Messages/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/Settings/Goals/Messages/index.html"
    },
    {
      "old_path": "doc/Protocol/LspWrapper/FeedbackChannel/index.html",
      "new_path": "doc/vsrocq-language-server.lsp/Protocol/LspWrapper/FeedbackChannel/index.html"
    },
    {
      "old_path": "doc/Dm/DelegationManager/module-type-Worker/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/DelegationManager/module-type-Worker/index.html"
    },
    {
      "old_path": "doc/Dm/ParTactic/TacticWorkerProcess/index.html",
      "new_path": "doc/vsrocq-language-server.dm/Dm/ParTactic/TacticWorkerProcess/index.html"
    }
  ]
}