Hi, none of you know me - I just joined the mailing list. Everyone can call me zheĆøffec (pronnounced "jeff"). I just reported a bug here (https://bugzilla.gnome.org/show_bug.cgi?id=691578) , is there the right place to report it? It's about the highlight over an application with its corners not being round enough. Thanks ;)