It's not like "10x developer" was ever an intellectually rigorous concept.

Isn't it? The developer whose productivity is 10x the average developer's?

Sounds like it's straight forward to me.