Hey Tobi I uploaded a new version that addresses that and the nitpicks you mentioned: https://mentors.debian.net/package/gnome-shell-extension-remove-dropdown-arrows -Jonathan