Solver plugins: slight improvement to their description [ci skip].