- Update manual description for pattern rule search algorithm