Zeftax even the one that is "redot" in the docs is not "redot" in the github repo. Have the changes only been made locally on the machine that serves the docs?
That's what i mean, the original person that converted it didn't actually convert it has a GitHub action on it that find & replaces all the references to Godot every time it builds the docs which happens automatically every Sunday.
I think they thought by doing so it would eliminate merge issues if/when we were to sync docs with Godot, but its been causing some trouble. Beyond that, the docs (Spinx) requires a separate branch of the docs be maintained for every version of the engine, and IIRC we currently do NOT have a dedicated maintainer for docs, the person that was doing it got burnt out i think..