Danke! GELÖST!
Es war mir wichtig, einmal für mein Profil, zum anderen, falls man mal helfen will und die Gnome- oder KDE-Version erfahren will/ muß.
Also: "gnome-about" liefert: Gnome-Desktop Nr. und "reKlick -> Info zu den Panels": Gnome-Panel Nr. (in diesem Fall gleich).
joanne