@claudius Du nimmst halt einfach KDE, Xfce, Mate etc. (völlig egal eigentlich was - nur nicht Gnome) und dein Problem ist gelöst.
Wenn du aber unbedingt Gnome willst, wartest du einfach auf das nächste Update der Extension und hälst bis dahin die Füße still. Niemand erwartet, dass du als Nutzer das Problem löst.