I always think and design for 10 on the stimp but with elastic that they can go to 12.
This sums up where I was on design, but maybe more like 9.5 and 11.5, but I am not splitting hairs here.
And, as I worked with far more public and management company run courses, far and away, the average green speed target on those courses was in fact, usually 9-10 in peak season. as those managers knew from experience that was all public players could handle as fun, but not ridiculous.
This whole argument is again based on perhaps 1-10% of courses nationwide, and those are mostly private clubs few of us will play, just like so many design discussions are based on the top 1% of golfers.
Of course, the right speed is tied to the typical slope in the cupping areas. My experience showed that the chart Jerry Lemons did was pretty accurate on the max speed as a function of % of slope, or vice versa.