Roger Gibbons (1944-2025)