In memoriam Modesto Leite Rolim Neto (1964–2022): A tribute