Make help pages searchable

Description

GitLab's help pages should be searchable. Currently, it can be difficult to find information if a topic could fit in multiple categories. Also, a search bar is visible

Proposal

Provide an interface to search the help pages. Since the help pages are static, it would be possible to index them only at build time if the search tool supported it.

/cc @victorwu @SeanPackham

/cc @axil

added ~15078 feature proposal labels

added help page label

@rabbitfang there's an ongoing discussion to remove the documentation from the Help page completely as it slows down the development of https://docs.gitlab.com, see https://gitlab.com/gitlab-org/gitlab-ce/issues/18739. Not sure it's worth implementing search..

Yes Search won't be implemented for /help as it is going to be removed.

closed