Forking is probably the only way that efforts from previous devs of Godot doesn't get ruined for nothing. I hope either Redot or other fork would succeed.

Here's the complete change set between Godot and Redot:

https://github.com/Redot-Engine/redot-docs/commit/8ce7ebaf22...

    README.md:    
    - # Godot Engine documentation    
    + # Redot Engine documentation