Phil Katz was a cool dude.