Rest in peace, Sir Tony Hoare