message: fix: avoid worker terminology
diff: "command": "lean4.restartServer",
  "category": "Lean 4",
  "title": "Restart Server",
  - "description": "Restart the language server."
  + "description": "Restart the Lean server (for all files)."
  },
  {
  "command": "lean4.restartFile",
  "category": "Lean 4",
  "title": "Restart File",
  - "description": "Restarts the file worker for the file that is currently focused, refreshing the dependencies."
  + "description": "Restarts the Lean server for the file that is currently focused, refreshing the dependencies."
  },
  {
  "command": "lean4.refreshFileDependencies",
  "category": "Lean 4",
  "title": "Refresh File Dependencies",
  - "description": "Restarts the file worker for the file that is currently focused to refresh the dependencies."
  + "description": "Restarts the Lean server for the file that is currently focused to refresh the dependencies."
  },
  {
  "command": "lean4.input.convert",
  