Second repository for SciDev, after the major fork ythat removed Xtext