In generic_backend.pyx: improve wording of check_redundant option