Mention that representation can still contain redundancy (discovered by Erik Quaeghebeur, appears to be a bug/feature of cddlib).