Using the doc sync feature of docusaurus, does it make sense to isolate the contributor guide into its own repository?