Robin Thomas, In memoriam 1954-2020