docs: switch the documentation submodule to the 10.0 branch
The 10.0 branch of the documentation repository was a dead line from 2024: it
shares no history with 9.9 and predates most of the current docs. It has been
recreated from 9.9 and now carries the public document root guides; the old
branch is kept as 10.0-legacy-2024.
.gitmodules records the branch, so submodule update --remote follows 10.0
instead of the repository default.
shares no history with 9.9 and predates most of the current docs. It has been
recreated from 9.9 and now carries the public document root guides; the old
branch is kept as 10.0-legacy-2024.
.gitmodules records the branch, so submodule update --remote follows 10.0
instead of the repository default.