added documentation search, and fixed some other indexing/docs bugs