Has that fork of Godot Engine that was established to "focus on the code instead of politics" achieved anything besides merging upstream Godot patches and replacing the branding with their own yet? They don't seem to be doing much coding compared to the "political" project they forked.