Short update. v1.2.0 is out -> now everything is nf-tested and a small bug that might have discarded some non-redundant families, during redundant family removal, was fixed.