(Or maybe it would be better to be clear that the existing Install functionality was moved into the Extension Manager.)