```json
{
  "title": "Dependent Type Theory",
  "author": "",
  "site": "",
  "published": ""
}
```

This fixture verifies that heading permalink widgets are removed from heading text while preserving the heading title itself. The extra prose ensures stable content selection.

## 2.6. Variables and Sections

This section introduces variables and sections in Lean. Any permalink icon should be excluded from the extracted markdown heading.