[robbies]

Even if the users acknowledge it is bad to keep using NVIDIA (and allow them to continue domination), what are they supposed to do?

From my view, it's not just that CUDA > OpenCL. Rather, it's CUDA ecosystem >>> OpenCL ecosystem. The tools, the libraries, the documentation, the community - all of these are superior on the CUDA side. If you give all those up to use OpenCL, how do you make up for that cost?