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

[pinskia at gcc dot gnu.org]

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

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Also search bars are not very useful if you say searching for an option and it
turns up non option related stuff.
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.