Cool! It’s nice to see Phil’s name so prominently displayed. While I will vouch that Phil came up with the term independently, and it was the first time I’d heard it, we make no claim that it was the first time it was ever used.
I gotta hold more parties.
Hat Tip: Alan Porter