The search extension of the todoyu task manager