Purely visual question

I got pissed by the fact that Zend engine mangles class names internally to 
be all lowercase, and implemented a workaround that allows for PHP-GTK 
class names to be displayed with proper capitalization in error messages 
and other areas, e.g. "GtkWidget" instead of "gtkwidget". Two questions: 
one, does anyone care, is it a big deal to people to have class names all 
lowercased in error messages or when calling get_class? two, the side 
effect of the workaround is that the class constructors have two aliases, 
lowercased and properly capitalized, but this is only visible when doing 
get_class_methods()...

Thoughts?
-Andrei