I agree with most of your points. Within one product there should not be too much choice. But choice between different products i.e. Linux distributions or operating systems is ok IMHO.
edit: I think the question is relevant, because part of what is going on here is that projects like Ubuntu and GNOME are taking cues from Apple's success