docs: index.md says c6288 has ~86,000 nodes but it has ~5,000 nodes (~86,000 transistors)

[github-actions]

Problem

docs/index.md line 35 states:

Large-scale benchmark with ~86,000 nodes. Uses sparse solver for memory efficiency.

But the performance table on the same page (line 52) correctly shows c6288 has ~5,000 nodes. The ~86,000 figure is the transistor count (as noted in CLAUDE.md: 'c6288 (~86k transistors, ~5k nodes)').

The description text incorrectly calls them 'nodes' when they are transistors.

Fix

Change line 35 of docs/index.md from:

Large-scale benchmark with ~86,000 nodes.

to:

Large-scale benchmark with ~86,000 transistors (~5,000 nodes).