[23:30] <valorin> I am having trouble using the gnome3-team PPA for gnome-shell. Is this the right place to ask for help?