The most important feature for documentation is /a really good/ search. I can't see anything about searching on the site? Can you clarify? IMO everybody should

The most important feature for documentation is /a really good/ search. I can't see anything about searching on the site? Can you clarify? IMO everybody should use https://readthedocs.org/ https://readthedocs.org/ for documentation since all the docs will be put into elasticsearch (backed by Rackspace FYI) and the results when searching are of really good quality.