Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy (Logical Methods in Computer Science, 2023)