I’m still not sure why forking the main repo doesn’t have the same effect. There’s also things like git subtree that could help here too.
I’d like to re-iterate that I care a lot about translations, and I want to make it good for us to do so. But at the same time, I also don’t want to do the wrong thing, and have to change it again in the future. As another example: moving the book into an external repository does not improve our ability to translate API docs either. I’d like a comprehensive i18n solution, so that non-English resources are first-class.
With the pace of development today, as well as rollups I don’t think the extra building has a significant impact, the way that it did pre-1.0. And, since we want to keep docs and code in synch as much as possible, when something changes, how is the new commit going to pass the build? The circular dependency means that you need to allow a failing builds for either one of them, weakening our overall coverage.