Und auf einmal sind sie wieder weg... ohne dass ich was bewusst gemacht hätte. Einerseits erfreulich, andererseits frustrierend. Das einzige was ich gemacht habe ist eine Gnome-extension namens Media player indicator zu installieren. Taomon, vielen Dank für deine Mühen!
Beste Grüße!