[aur-requests] [PRQ#25502] Deletion Request for gnome-shell-extension-topicons-plus-git