Linking to the subtree repo is nonetheless a good idea. But it doesn't really solve our versioning problem.