[R40] Initialize coron-4.2 reference repository.