Laura Fitzgerald The plan is to move all docs into the mobile-docs repo.
Although antora will still be used, there will be no remote docs pulled in from various other repos.

paul wright Is this your understanding too?

cc Peter Braun