Correct, i.e. 40W instead of 100W. It sounded more impressive than "40% of the original value" so I went with "2.5x less". Not the best measure to choose one's words by, admittedly.

40W LED? Wow that's big! I think the biggest LED bulb I have is 11W

2x20 (notice plural 'bulbs' in the original message a few steps up the thread), and this is actually measured whereas iirc the box said a bit less

And yes, in my opinion we erred on the high side, but it's not far off from what the original incandescent (which apparently was 2x50W, measured).

You managed to say that immediately. Were there other serious explanations that came to mind? If not then you need to have more self-confidence because you do know!