@lore I think we would you want a centralized (cursed word) documentation site. Rather than multiple sites. Sure both could be indexed but it's always easy to do a site search on a single site.
My problem is the official docs are not receiving updates often enough.
I did open a PR (now approved by a Mastodon maintainer) to document 4.1.0 new commands and it hasn't been merged. I'm confident it will fall through the cracks and not be merged...