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.