The GP's point is that astronomers find leap seconds annoying too, so Meta's argument is based on a faulty premise.
Unless it is "programmers' employment assurance".
If the actual leap seconds do not benefit astronomers, and do not benefit anyone else, they are purely a tax on us all.
Abandon leap seconds in UTC, and literally everybody is better off. Even astronomers, who would go from managing 3 time systems to just two.
I hear the argument that we have to deal with this eventually to keep time in track with mean solar time, but the adjustments are so small that I don’t see any real impact on regular people.
May as well dispense with the calendar entirely and just measure time in powers of ten.
An day is about 80 kiloseconds, and a year about 30 megaseconds.
Maybe many gigaseconds into the future our descendants will learn about old Earth time keeping in school, along with Roman numerals and the imperial system.
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.