Minor nitpick: The original measure of a 10x programmer was not the productivity multiplier max/mean, but rather max/min.