cookiengineer [1] filed a orphan request for gnome-shell-extension- mediaplayer-git [2]: This package is not maintained anymore. I'd be happy to adopt it, as I'm a regular user of the mediaplayer extension. [1] https://aur.archlinux.org/account/cookiengineer/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-mediaplayer-git/