rtfd/readthedocs.org — pull request #516 by robhudson (2013-11-02 22:17:11+00:00)
Title: Moved project search

This allows us to remove project search from the search API to make it
both in-doc search and to search pages across projects.