Okay. I'll leave it as-is.
I gave up on the PR. Here's the issue, if anyone else wants to follow up on it: https://github.com/godotengine/godot-docs/issues/5226