docs.redpanda.com: Tool get_more_tools was removed.

What changed

Tool get_more_tools was removed.

What to do

If your agents call docs.redpanda.com, pin the new snapshot, patch the affected call sites, and let a green contract check confirm the fix. If you don't use the changed tools, nothing is required, but the rest of the ecosystem just learned about it at the same moment you did.