So the regular "full fat" version of F-droid is still on v1.23.2 while F-droid Basic is on v2.0.0. Are more people using the basic version or what?

This is excellent news tho, I love F-droid.