add the actual extension to the repository (for now)