In memory of Harry Whittaker (9 August 1938 – 16 March 2020): a working-class hero