id summary reporter owner description type status component version severity resolution keywords cc stage has_patch needs_docs needs_tests needs_better_patch easy ui_ux 8514 Searching in Refactored Documentation killercup nobody "The new Sphinx based documentation is really cool, but I think like the old one it lacks an internal search. AFAIK this won't be much work, since Sphinx already as a search component (which uses a JSON search index) and this may be enabled easily." closed Documentation dev fixed search, documentation, sphinx me@… Unreviewed 0 0 0 0 0 0