Comment 19 for bug 1965123

The dock fix isn't actually a fix, it's just a workaround:
https://github.com/micheleg/dash-to-dock/commit/46b81aeb4bf18d2f8a75fbf2d0ef6c047f3711f2

I expect that if we can get a proper fix into gnome-shell then the workaround can be removed.