Updated name of repository (et al) based on feedback from the core working group admin