Flagged Out-of-Date Comment: gnome-shell-extension-mediaplayer-git

MarsSeed flagged gnome-shell-extension-mediaplayer-git out-of-date on 2024-01-23 (UTC) for the following reason:

Upstream repo is unmaintained and archived since 2019. Suggest to switch to somewhat newer continuation fork [a], or delete this if no longer viable to keep it working. [a]: https://github.com/Khoa1/gnome-shell-extensions-mediaplayer