> The GP's point is that astronomers find leap seconds annoying too

That just means that Meta is even more correct.

So you would be arguing that meta was being to charitable to the opposing side, and is even more correct than they originally appeared.