Ordinary household lighting is more and more being replaced by LEDs, though.