Improve site search to make easier to find non-API docs

[yorkshire-pudding]

During the Documentation meeting on 2025-03-20 at 2000 UTC we discussed the need for better search.

@hosef pointed us to the php.net site as an example of a good search that works for both functions and documentation.