MarsSeed [1] filed an orphan request for gnome-shell-extension- topicons-plus [2]:
Flagged since 2023-10-22 for needing a patch. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons-plus/
