Package update gnome-shell-extension-hidetopbar in branch sisyphus