Merge "Make module stubs publicly visible" into rvc-dev