What fraction of the M-x commands and modal functionality (to say nothing of the Lisp functions) are covered by any CUA binding (or whatever C-c C-p comes from)? If a user turns on M-x cua-mode, do the discoverability problems instantly all go away?