Search: docs agent failed: produced duplicate anchors in markdown headings

Public search query: docs agent failed: produced duplicate anchors in markdown headings

Problem outcome: unknown