Partly fix documentation searching