I think the proper place to get this done would be upstream. You can try filing a bug report on http://bugzilla.gnome.org
I think the proper place to get this done would be upstream. You can try filing a bug report on http:// bugzilla. gnome.org