> Color coding... is just an extra differentiator for GUI elements which are already differentiated by icon shape and text labels.

In principle, I agree, but I do not believe I have ever used a software package that follows this philosophy. In practice, once you give people a tool, they are inclined to use it, and most projects only try and address accessibility concerns post-ship