Sadly I couldn’t think of a better way yet. 😔

Though not due to piracy, I also end up with a lot of repeated, redundant and/or unwanted files, so I’m often having to delete them.

I see. That’s sad. But thanks for clarifying it!

Not ideal, but what I do is to load all musics onto VLC, open the list view (Ctrl L on Linux), let the list fully load, sort by song name and check what appears repeated or that I don’t want for other reasons. It also helps if the songs are metadata-rich, such as the ones bought from Bandcamp and ITunes (not Apple Music), so it’s easier to differentiate them (given this community, I have no clue how/where from yours are). And lastly, there’s a little plugin I found a while back that helps a bunch, vlc-delete, which adds the option to delete the currently playing file, and that, at least in the Linux version, benefits from motor memory since it can be executed with a quick succession of 2 Alt shortcuts.

The Reddit-inspired instances like the Mbin and Lemmy-based ones may be of interest for you. The Lemmy ones, from what I can tell, always hide the follower list, and the Mbin ones allow the user to choose between showing and not showing. Also, both seem to be able to connect to Twitter-like instances, though UI for that part in the Mbin ones is pretty barebones and the Lemmy ones mix them up.

The more concerning part is the bootloader that keeps being made more and more cumbersome to unlock. Not as easy to install one’s system of choice when you need to beg the device maker to allow access to the part of the system required for that. =/