Manual: minor improvements to description of solve_algo={1,2,9}