Nem tudom mennyi értelme van ennek most, amikor "mindenki" dobni akarja régi gnome panelt, és gnome3-ra vagy shell-re vagy unity-re akar váltani.