Heads up, the link to "The Internet's Own Boy" says it's unavailable because whoever uploaded it changed the setting to private. Which is a shame, because it's a good bio.

EDIT: There's a version of it here: https://youtu.be/3Q6Fzbgs_Lg?si=Sjlu7QOiQJ5e-1ZJ

Thank you for sharing this! Its always fun to realize when either friends or fellow nerds happen to share a MASSIVE intersection of entertainment.

You're missing Dealers of Lightning, a great book about Xerox PARC