[Bug web/107651] Having two different kind of indexes is very useful still

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107651

--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #6)
> Also search bars are not very useful if you say searching for an option and
> it turns up non option related stuff.

It's not searching only options, but also in titles and content of pages.

> An example of that is you search for vectorize you it turns up the extension
> page.
> 
> Indexes are useful for searching and researching and having the options all
> in one place.

You can quickly find 'vectorize' option in the sphinx version of the Index.