[int_19h]

> You can use extensions on Gnome to for example get a dock or system tray back.

As I recall, those are exactly the kinds of extensions that get broken by Gnome updates on a regular basis.