Merge "Depend on exportable mainline module stubs for doc generation" into main