Contributors to 2023-10-14 Avoiding repetitions