> Light bulbs got 6x as efficient and roughly nobody wants 6x as much light.

But they do just leave their lights on more[0].

[0] https://en.wikipedia.org/wiki/Jevons_paradox

They're not leaving them on 6x as much.