Thread:Mhommer/@comment-26185947-20150325184348/@comment-15636815-20150325222727

Damn. We discussed this recently and decided to change the icons. I haven't updated the documentation yet. I'll go do that right now.

You did the right thing, Arno. You followed the documentation, as I asked you to do. This is my fault, and I apologize.