Search in batches

[dhague]

Add to skills/wiki-ingest/SKILL.md:

Searching the wiki

Whenever you are looking for information in the wiki using multiple searches, always batch them up into a single turn.

Amend search.py to output the search terms as the first line, so that the agent can parse multiple results. For example:

search.py "SSH access user" ; search.py "LDAP group access user"

would output:

Search: "SSH access user"
wiki/concepts/iaic-node-ssh-access.md                       10.12  IAIC Node SSH Access (Jump Server)  [-]  src=-  git=2026-08-10
wiki/sources/2026-07-23-checke-bcm-users.md                  9.16  Checke – BCM Users (2026-07-23)  [stable]  src=-  git=2026-08-10
Search: "LDAP group access user"

This indicates 2 results for the first search and no result for the second search.