Pittsburgh is going dark sky compliant, i.e., switching to LED lights. “It’s better for people’ health, better stars.”