VSCode: Toolset name mismatch: 'github/*' fails with Unknown tool, but 'github' warns it's deprecated

### Describe the bug

When referencing the GitHub MCP toolset inside a VS Code agent configuration, using the recommended `github/*` pattern does **not** work.

- Referencing the toolset as `github/*` results in an **Unknown tool** error.

- Referencing the toolset simply as `github` works, **but produces a warning** stating that it has been renamed to `github/*`.

This creates a contradictory situation where:
- The recommended name (`github/*`) fails.
- The fallback name (`github`) works but warns that it should be replaced with `github/*`.

### Affected version

I am using the **remote GitHub MCP** integration inside VS Code, so it does not expose a version.

**VS Code version:**
`1.106.0`

**OS:**
`macOS Sequoia Version 15.7.2 (24G325)`

### Steps to reproduce the behavior

1. In a VS Code agent configuration, reference the GitHub MCP toolset like this:

```json
"tools": ["github/*"]
```

2. VS Code reports an error:

```
Unknown tool 'github/github-mcp-server/*'.
```

3. Change the reference to:

```json
"tools": ["github"]
```

4. The agent loads, but VS Code shows a warning:

```
Tool or toolset 'github' has been renamed, use 'github/*' instead.
```

### Expected vs actual behavior

**Expected behavior:**
Referencing the toolset as `github/*` should work without errors and should be the correct, supported naming format.

**Actual behavior:**
- `github/*` → Fails with *Unknown tool*
- `github` → Works, but warns that the toolset has been renamed to `github/*`, which cannot actually be used

### Logs

**Unknown tool error:**

```
Unknown tool 'github/github-mcp-server/*'.
```

**Renaming warning:**

```
Tool or toolset 'github' has been renamed, use 'github/*' instead.
```