Is adding pieppiper to the list of adandoned project is a kind of Pun or a joke?

[phillipcutter]

Hi, I think it falls in the joke category as it technically isn't a real project. I'm not sure how it could be a considered a pun.