Shaded note => Colored Note???

[Michael Gerz]

Hi,

why is a "shaded note" called "shaded"? AFAICS, a shaded note is in fact 
a colored note both on screen and in LaTeX output!

I suggest renaming the menu item and the underlying code. If you agree, 
I will prepare a patch.

Michael