LEDs last longer, but cities took the savings to add even more blue light, so the lifetime doesn’t matter.

The light pollution has absolutely increased because of the amount of LEDs that have been installed. This is well documented.

Also, the sodium line spectrum is easy to filter out for astronomy, broad spectrum blue LEDs add light pollution there.