Include summary in the search index
It would be useful to show the summary inside search results.
For the search
command in gi-docgen
this is not necessary, because it has access to the GIR; but the search in the generated HTML only has access to the JSON data, which means it needs to have the summary in there too. This will increase the size of the index, so we might want to limit the summary to a few words.