brianrobt [1] filed a deletion request for gnome-shell-extension- panel-osd [2]: The upstream project's last commit was two years ago with the subject, "Abandon project." https://gitlab.com/jenslody/gnome-shell-extension-panel-osd The build also fails on my system when trying to install it. I haven't tested it any further than that. If someone wants to pick up where the author left off, then this software can be repackaged and republished. [1] https://aur.archlinux.org/account/brianrobt/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-panel-osd/