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