See? Now that's a lot of why I check in here. I was vaguely aware that there was something called a "pork pie" in the world and that it was some flavor of "English," but I never really looked into it. And when I first look at some, it was kind of like, "Oh, well. Just looks like chopped pork in pastry," a sort of Spam pie. But I saw from the Wikipedia article Pork pie - Wikipedia, the free encyclopedia
that it is made in infinity variety, and I found the Pork Pie Appreciation Society site with a link to this:
Blogjam presents: A tribute to the Pork Pie Appreciation Society
That last one is a lively slideshow with a recipe scrolling across the bottom. The scrolling recipe demonstrates the complexity and depth of ingredients.
So obviously it isn't something I've made, but I will.
(And while I knew the "pork pie hat" was named after a food, I didn't really know why, until I looked at some picture of pies. All is clear now.)