Astronomers already have to do a huge number of tiny corrections of one kind or another, both manually and in software - they would be fine with making changes.

Astronomers already have to do a huge number of tiny corrections of one kind or another, both manually and in software - they would be fine with making changes. However in this case they wouldn't even need to make any change - the astronomic time is what it is. This negative leap second is to fix UTC to match astronomic time because the rotation of the earth has changed a tiny smidge.