id	resolution	summary	owner	reporter
356	fixed	Search box in at top of page (UI)		rgrp
923	worksforme	Search box doesn't work in leaderboard page	rgrp	dread
875	fixed	Search backend supports solr interface and query API mimics solr	pudo	rgrp