Revise the search function of built-in manual to apply to the new-redrawing-aspect. Fix #344