[PRQ#43590] Deletion Request for ebadoo-shell-extensions

MarsSeed [1] filed a deletion request for ebadoo-shell-extensions [2]: Ebadoo is a discontinued gnome-desktop fork from 2019 with only a few commits. [a] This package is also broken already at dependency check. Better to delete. [a]: https://gitlab.com/ebadoo/ebadoo-shell-extensions/-/commits/master [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ebadoo-shell-extensions/