3.35.2 ====== * Adjust to gnome-shell changes [Marco, Florian; !89, !95, !96]