Nobody stole anything. That's one of the basics of Open Source. Otherwise you also could say LibreOffice stole OpenOffice or stuff. MariaDB stole MySQL. The list could go on for days. So ... no, Redot did NOT "steal" Godot ... Redot forked Godot. Know the difference.