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
I don't see a joke in this.
save