A fine October tradition.
Pippi's pumpkin goes by his formal name of Jonathan O'Lantern, instead of the nickname Jack. I'm not sure if Harry's pumpkin has a name.
Edited to add: This post has been attracting spam comments. I'm not sure why. I'm going to close the comments on it. Sorry.