The package gnome-shell-extension-autohidetopbar 1:123-1 has been removed from kali-dev. -- More information about gnome-shell-extension-autohidetopbar: https://pkg.kali.org/pkg/gnome-shell-extension-autohidetopbar
