[aur-requests] [PRQ#36447] Deletion Request for gnome-shell-extension-pip-on-top-gnome43

ewout [1] filed a deletion request for gnome-shell-extension-pip-on- top-gnome43 [2]: Renamed to gnome-shell-extension-pip-on-top43 [1] https://aur.archlinux.org/account/ewout/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pip-on-top-gnome43/