As a side note, his personal page at https://gordonbell.azurewebsites.net/ doesn't seem to have been updated in more than ten years now. I believe it would make more sense to read "Gordon Bell (1934-2024)" instead of just "Gordon Bell".