Thanks! We’ve updated the title.

I'm reading "where the wizards stay up late", and I was thinking the same thing. It's difficult to keep track of who is who but I'm pretty certain Cerf has appeared yet. I'm not that far through.

https://www.amazon.co.uk/Where-Wizards-Stay-Up-Late/dp/06848...

(Well actually I'm listening to it not reading, maybe that's why I can't keep track of the protagonists!)