[aur-requests] [PRQ#3797] Merge Request for gnome-shell-extension-buttons-to-panel