A mill grinds grain, a windmill is just a mill powered by wind. It’s not technically correct to call a wind turbine or wind-powered pump a windmill, but that’s how it’s commonly used. So this comment chain is a pedantic correction leading into the ground water pun.
It’s a solid pun, but does require the background of pedantic Internet discussions
You said you don’t see the joke. You didn’t say anything about it being funny.
You might not believe it, but jokes aren’t defined by being funny, as funny is subjective. So if you understood the meaning on the face of it, you saw the joke. You just don’t think it’s funny. That’s you, not a joke problem.
Then you said it’s not a pun. That immediately indicates you didn’t actually get the meaning on the face of it.
It is a pun. Specifically a homonym. One which it seems, was too deep for you. That’s another homonym pun.
A mill grinds grain, a windmill is just a mill powered by wind. It’s not technically correct to call a wind turbine or wind-powered pump a windmill, but that’s how it’s commonly used. So this comment chain is a pedantic correction leading into the ground water pun.
It’s a solid pun, but does require the background of pedantic Internet discussions
Also I couldn’t think of a title and used the subject of the original post.
deleted by creator
Right I got that meaning on the face of it, but it’s not funny. It’s also not a pun.
Ground water.
Took me a bit too, thanks for your enquiry.
The good ending.
You said you don’t see the joke. You didn’t say anything about it being funny.
You might not believe it, but jokes aren’t defined by being funny, as funny is subjective. So if you understood the meaning on the face of it, you saw the joke. You just don’t think it’s funny. That’s you, not a joke problem.
Then you said it’s not a pun. That immediately indicates you didn’t actually get the meaning on the face of it.
It is a pun. Specifically a homonym. One which it seems, was too deep for you. That’s another homonym pun.
Edit: There it is! Congrats
Well…