[13:36] <david___> Hello all, is this the proper place to ask questions about Ubuntu Gnome issues?