html search: use a Map
to collect file-term scores
#12509
lint.yml
on: pull_request
ruff
8s
flake8
12s
mypy
24s
pyright
31s
docs-lint
9s
twine
11s