Thanks for the link - I’ll dig into that tomorrow!

I am also going to check more into BasicSync.

I seem to remember that F-Droid halted the updates while the confusion was at a maximum - that it is “back to normal” is perhaps somewhat of a sign that things have sorted themselves? Catfriend1 is also making contributions to the repository, but I guess there’s no guarantee that it’s really the same person?

Thanks for the recommendation. I see that the developer of BasicSync has also createed pull requests in researchxxl’s repository which I guess would not happen if there was a general distrust among those who are close to the development.

I had a World of Warcraft-server running for a while, that was quite fun.

It is important. But I find the ones I have tried good, and would survive if I had to use either of them. I use KDE Plasma on my main personal laptop, I have Cinnamon running on a living room computer connected to my TV (not an ideal solution, but I’ve so far not taken the time to optimize the setup) and GNOME om my work laptop. I much prefer KDE Plasma out of them, but I like the others also.