Cross-posted here.
The functionality got rolled into ‘Manage Remote Repositories’, it seems. If you click on that it brings up a window where you can add a new repository.
It’s even in a similar location as the the old ‘Add’ option, see the old option listed in the image here, which is included in this issue post.
